Details

Time bar (total: 29.9s)

sample28.0ms

Algorithm
intervals
Results
12.0ms256×body80valid

simplify18.0ms

Counts
1 → 1
Iterations
IterNodes
done17
217
113
09

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize21.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))
0.1b
(* (/ 841.0 108.0) x)

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
13×associate-*l*
10×add-cube-cbrt *-un-lft-identity times-frac
7×add-exp-log add-cbrt-cube
4×pow1 add-log-exp
3×associate-*r*
2×associate-*l/ prod-exp cbrt-unprod unswap-sqr
1×cbrt-undiv +-commutative flip3-+ div-exp pow-prod-down frac-add sum-log *-commutative flip-+ div-inv
Counts
2 → 44
Calls
2 calls:
27.0ms
(+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))
31.0ms
(* (/ 841.0 108.0) x)

series313.0ms

Counts
2 → 6
Calls
2 calls:
67.0ms
(+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))
246.0ms
(* (/ 841.0 108.0) x)

simplify7.2s

Counts
50 → 50
Iterations
IterNodes
done5011
33059
2783
1246
097

prune357.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize37.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0))
0.3b
(* 841.0 (/ x 108.0))

rewrite113.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
13×associate-*r*
10×add-cube-cbrt *-un-lft-identity times-frac
7×add-exp-log add-cbrt-cube
4×pow1 add-log-exp
3×associate-*l*
2×associate-*r/ prod-exp cbrt-unprod unswap-sqr
1×cbrt-undiv +-commutative flip3-+ div-exp pow-prod-down frac-add sum-log *-commutative flip-+ div-inv
Counts
2 → 44
Calls
2 calls:
69.0ms
(+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0))
41.0ms
(* 841.0 (/ x 108.0))

series99.0ms

Counts
2 → 6
Calls
2 calls:
67.0ms
(+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0))
31.0ms
(* 841.0 (/ x 108.0))

simplify9.4s

Counts
50 → 50
Iterations
IterNodes
done5019
33054
2779
1260
099

prune550.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize29.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* (* 841.0 x) (/ 1 108.0)) (/ 4.0 29.0))
1.3b
(* (* 841.0 x) (/ 1 108.0))

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
24×add-exp-log
14×add-cbrt-cube
13×associate-*r*
12×prod-exp
9×add-sqr-sqrt add-cube-cbrt *-un-lft-identity times-frac
7×pow1
6×cbrt-unprod
4×div-exp add-log-exp
3×pow-prod-down
2×cbrt-undiv rec-exp 1-exp associate-*r/ frac-add un-div-inv
1×+-commutative flip3-+ associate-*l* sum-log *-commutative flip-+ div-inv
Counts
2 → 51
Calls
2 calls:
54.0ms
(+ (* (* 841.0 x) (/ 1 108.0)) (/ 4.0 29.0))
50.0ms
(* (* 841.0 x) (/ 1 108.0))

series131.0ms

Counts
2 → 6
Calls
2 calls:
78.0ms
(+ (* (* 841.0 x) (/ 1 108.0)) (/ 4.0 29.0))
53.0ms
(* (* 841.0 x) (/ 1 108.0))

simplify7.8s

Counts
57 → 57
Iterations
IterNodes
done5076
33470
2977
1324
0115

prune704.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes410.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify40.0ms

Iterations
IterNodes
done11
111
09

end0.0ms

sample2.5s

Algorithm
intervals
Results
2.1s8001×body80valid
1.0ms4×body1280valid
0.0ms2×body640valid