Details

Time bar (total: 17.5s)

sample22.0ms

Algorithm
intervals
Results
8.0ms256×body80valid

simplify10.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0583
1783
21083
done1083

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 1 expressions with local error:

0.0b
(- x (/ 1.0 3.0))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
39×prod-diff
38×*-un-lft-identity
36×add-cube-cbrt
28×times-frac
3×fma-neg div-inv add-log-exp
2×difference-of-squares
1×expm1-log1p-u pow1 sub-neg flip3-- add-cbrt-cube diff-log add-exp-log log1p-expm1-u flip-- distribute-lft-out--
Counts
1 → 59
Calls
1 calls:
22.0ms
(- x (/ 1.0 3.0))

series49.0ms

Counts
1 → 3
Calls
1 calls:
48.0ms
(- x (/ 1.0 3.0))

simplify3.9s

Counts
62 → 62
Iterations

Useful iterations: done (3.9s)

IterNodesCost
015428587
137925493
297320637
3263617667
done500111987

prune126.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt x) (cbrt x))
0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 81
Calls
4 calls:
12.0ms
(* (cbrt x) (cbrt x))
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series1.1s

Counts
4 → 12
Calls
4 calls:
316.0ms
(* (cbrt x) (cbrt x))
256.0ms
(cbrt x)
267.0ms
(cbrt x)
256.0ms
(cbrt x)

simplify4.1s

Counts
93 → 93
Iterations

Useful iterations: 3 (433.0ms)

IterNodesCost
06518502
114015989
238215714
3107215034
4410815034
done500015034

prune449.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize47.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))
0.1b
(* (* x x) x)
0.3b
(* x (/ 1.0 3.0))
22.2b
(/ (- (* (* x x) x) (* (* (/ 1.0 3.0) (/ 1.0 3.0)) (/ 1.0 3.0))) (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))

rewrite309.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
25×pow1
22×*-un-lft-identity times-frac add-cube-cbrt
16×add-cbrt-cube associate-*r* add-exp-log
9×pow3
6×pow-plus pow-prod-up add-log-exp
5×prod-exp associate-*r/ cbrt-unprod
4×expm1-log1p-u difference-cubes associate-*l* pow-prod-down log1p-expm1-u associate-/l*
3×associate-/r* frac-add unswap-sqr
2×pow2 cbrt-undiv flip3-+ div-exp associate-/r/ pow-sqr *-commutative flip-+ div-inv associate-/l/
1×frac-times +-commutative clear-num sum-log fma-def frac-2neg distribute-rgt-out flip3-- div-sub associate-*l/ flip--
Counts
4 → 120
Calls
4 calls:
21.0ms
(+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))
19.0ms
(* (* x x) x)
11.0ms
(* x (/ 1.0 3.0))
250.0ms
(/ (- (* (* x x) x) (* (* (/ 1.0 3.0) (/ 1.0 3.0)) (/ 1.0 3.0))) (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))

series343.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))
54.0ms
(* (* x x) x)
26.0ms
(* x (/ 1.0 3.0))
197.0ms
(/ (- (* (* x x) x) (* (* (/ 1.0 3.0) (/ 1.0 3.0)) (/ 1.0 3.0))) (+ (* x x) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))

simplify2.4s

Counts
132 → 132
Iterations

Useful iterations: done (2.4s)

IterNodesCost
020937853
159133865
2215032851
done500232776

prune524.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize55.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (/ 1.0 3.0) (/ 1.0 3.0) (* x (/ 1.0 3.0)))
0.1b
(* (* x x) x)
0.3b
(* x (/ 1.0 3.0))
22.2b
(/ (- (* (* x x) x) (* (* (/ 1.0 3.0) (/ 1.0 3.0)) (/ 1.0 3.0))) (+ (* x x) (fma (/ 1.0 3.0) (/ 1.0 3.0) (* x (/ 1.0 3.0)))))

rewrite218.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
25×pow1
22×*-un-lft-identity times-frac add-cube-cbrt
16×add-cbrt-cube associate-*r* add-exp-log
9×pow3
6×pow-plus pow-prod-up
5×prod-exp cbrt-unprod
4×expm1-log1p-u difference-cubes associate-*l* pow-prod-down log1p-expm1-u associate-/l* add-log-exp
3×associate-/r* unswap-sqr
2×pow2 cbrt-undiv div-exp associate-/r/ pow-sqr *-commutative div-inv associate-/l/
1×clear-num frac-2neg flip3-+ flip3-- div-sub associate-*r/ flip-+ fma-udef flip--
Counts
4 → 112
Calls
4 calls:
0.0ms
(fma (/ 1.0 3.0) (/ 1.0 3.0) (* x (/ 1.0 3.0)))
14.0ms
(* (* x x) x)
17.0ms
(* x (/ 1.0 3.0))
184.0ms
(/ (- (* (* x x) x) (* (* (/ 1.0 3.0) (/ 1.0 3.0)) (/ 1.0 3.0))) (+ (* x x) (fma (/ 1.0 3.0) (/ 1.0 3.0) (* x (/ 1.0 3.0)))))

series369.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(fma (/ 1.0 3.0) (/ 1.0 3.0) (* x (/ 1.0 3.0)))
61.0ms
(* (* x x) x)
21.0ms
(* x (/ 1.0 3.0))
234.0ms
(/ (- (* (* x x) x) (* (* (/ 1.0 3.0) (/ 1.0 3.0)) (/ 1.0 3.0))) (+ (* x x) (fma (/ 1.0 3.0) (/ 1.0 3.0) (* x (/ 1.0 3.0)))))

simplify2.6s

Counts
124 → 124
Iterations

Useful iterations: done (2.6s)

IterNodesCost
018935609
150832397
2177331623
done500031463

prune525.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes40.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0583
done583

end0.0ms

sample251.0ms

Algorithm
intervals
Results
164.0ms8000×body80valid