Details

Time bar (total: 14.4s)

sample40.0ms

Algorithm
intervals
Results
17.0ms262×body80valid
6.0ms86×body80nan

simplify4.4s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
034
174
2124
3304
4784
53644
631744
done50004

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 39.1b

localize11.0ms

Local error

Found 1 expressions with local error:

0.0b
(pow (sin x) x)

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt pow-unpow unpow-prod-down *-un-lft-identity add-cube-cbrt
pow1 add-exp-log
pow-to-exp pow-pow add-cbrt-cube pow-exp add-log-exp sqr-pow
Counts
1 → 17
Calls
1 calls:
7.0ms
(pow (sin x) x)

series28.0ms

Counts
1 → 3
Calls
1 calls:
28.0ms
(pow (sin x) x)

simplify1.2s

Counts
20 → 20
Iterations

Useful iterations: 3 (352.0ms)

IterNodesCost
039148
1106139
2336134
31197132
done5001132

prune100.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 39.0b

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* (log x) (+ x (* (* 1/2 (pow x 2)) (log x)))) 1)
0.0b
(* 1/2 (pow x 2))
0.2b
(* (* 1/2 (pow x 2)) (log x))
0.2b
(* (log x) (+ x (* (* 1/2 (pow x 2)) (log x))))

rewrite141.0ms

Algorithm
rewrite-expression-head
Rules
21×add-exp-log
20×add-sqr-sqrt
15×associate-*r*
13×add-cbrt-cube
12×*-un-lft-identity add-cube-cbrt
11×prod-exp
10×pow1
associate-*l*
log-prod add-log-exp
distribute-rgt-in distribute-lft-in cbrt-unprod unswap-sqr
unpow-prod-down
*-commutative
pow-to-exp associate-+l+ flip3-+ pow-prod-down pow-exp associate-*r/ log-pow flip-+ unpow2 sqr-pow
+-commutative sum-log
Counts
4 → 89
Calls
4 calls:
21.0ms
(+ (* (log x) (+ x (* (* 1/2 (pow x 2)) (log x)))) 1)
33.0ms
(* 1/2 (pow x 2))
47.0ms
(* (* 1/2 (pow x 2)) (log x))
34.0ms
(* (log x) (+ x (* (* 1/2 (pow x 2)) (log x))))

series1.8s

Counts
4 → 12
Calls
4 calls:
118.0ms
(+ (* (log x) (+ x (* (* 1/2 (pow x 2)) (log x)))) 1)
65.0ms
(* 1/2 (pow x 2))
399.0ms
(* (* 1/2 (pow x 2)) (log x))
1.2s
(* (log x) (+ x (* (* 1/2 (pow x 2)) (log x))))

simplify4.6s

Counts
101 → 101
Iterations

Useful iterations: done (4.6s)

IterNodesCost
01881499
15611382
234931227
done50011210

prune570.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 39.0b

regimes110.0ms

Accuracy

0% (0.1b remaining)

Error of 40.4b against oracle of 40.2b and baseline of 40.4b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
034
done34

end0.0ms

sample1.4s

Algorithm
intervals
Results
758.0ms8119×body80valid
261.0ms2873×body80nan
2.0msbody160valid