Details

Time bar (total: 5.5s)

sample22.0ms

Algorithm
intervals
Results
8.0ms256×body80valid

simplify5.0ms

Counts
1 → 1
Iterations
IterNodes
done6
16
05

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ x (/ 1.0 3.0))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
3×*-un-lft-identity add-log-exp
1×add-sqr-sqrt pow1 +-commutative sum-log flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+ distribute-lft-out
Counts
1 → 12
Calls
1 calls:
26.0ms
(+ x (/ 1.0 3.0))

series36.0ms

Counts
1 → 3
Calls
1 calls:
36.0ms
(+ x (/ 1.0 3.0))

simplify1.1s

Counts
15 → 15
Iterations
IterNodes
done5000
41593
3563
2209
178
028

prune61.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize32.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* x x) (/ (/ (* 1.0 1.0) 3.0) 3.0))
0.0b
(- x (/ 1.0 3.0))
12.2b
(/ (- (* x x) (/ (/ (* 1.0 1.0) 3.0) 3.0)) (- x (/ 1.0 3.0)))

rewrite152.0ms

Algorithm
rewrite-expression-head
Rules
97×add-sqr-sqrt
68×times-frac
40×difference-of-squares
33×*-un-lft-identity
17×add-cube-cbrt
8×distribute-lft-out--
7×add-log-exp
6×associate-/r* associate-/l*
5×add-cbrt-cube add-exp-log
4×flip3-- flip--
3×pow1
2×sub-neg diff-log associate-/r/ associate-/l/
1×cbrt-undiv clear-num frac-2neg div-sub div-exp div-inv
Counts
3 → 95
Calls
3 calls:
31.0ms
(- (* x x) (/ (/ (* 1.0 1.0) 3.0) 3.0))
19.0ms
(- x (/ 1.0 3.0))
94.0ms
(/ (- (* x x) (/ (/ (* 1.0 1.0) 3.0) 3.0)) (- x (/ 1.0 3.0)))

series296.0ms

Counts
3 → 9
Calls
3 calls:
71.0ms
(- (* x x) (/ (/ (* 1.0 1.0) 3.0) 3.0))
27.0ms
(- x (/ 1.0 3.0))
197.0ms
(/ (- (* x x) (/ (/ (* 1.0 1.0) 3.0) 3.0)) (- x (/ 1.0 3.0)))

simplify902.0ms

Counts
104 → 104
Iterations
IterNodes
done5001
21609
1433
0169

prune409.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(- x (/ 1.0 3.0))
0.1b
(* (- x (/ 1.0 3.0)) (+ (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))))
0.2b
(* (* x x) (* x x))
20.7b
(/ (- (* (* x x) (* x x)) (* (/ (/ (* 1.0 1.0) 3.0) 3.0) (/ (/ (* 1.0 1.0) 3.0) 3.0))) (* (- x (/ 1.0 3.0)) (+ (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))))

rewrite280.0ms

Algorithm
rewrite-expression-head
Rules
117×pow1
36×pow-prod-up
24×pow-prod-down
23×add-cbrt-cube add-exp-log
22×pow-sqr
20×add-sqr-sqrt
18×pow-plus
13×pow2
12×*-un-lft-identity
10×prod-exp cbrt-unprod
8×frac-times flip3-- associate-/r/ add-cube-cbrt flip--
7×associate-*l*
6×flip3-+ times-frac flip-+ add-log-exp difference-of-squares
4×associate-*r* associate-*l/ associate-*r/ associate-/l*
2×cbrt-undiv div-exp *-commutative distribute-lft-out-- unswap-sqr associate-/l/
1×distribute-rgt-in clear-num associate-/r* sub-neg frac-2neg distribute-lft-in diff-log div-sub swap-sqr div-inv
Counts
4 → 143
Calls
4 calls:
16.0ms
(- x (/ 1.0 3.0))
71.0ms
(* (- x (/ 1.0 3.0)) (+ (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))))
31.0ms
(* (* x x) (* x x))
152.0ms
(/ (- (* (* x x) (* x x)) (* (/ (/ (* 1.0 1.0) 3.0) 3.0) (/ (/ (* 1.0 1.0) 3.0) 3.0))) (* (- x (/ 1.0 3.0)) (+ (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))))

series500.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(- x (/ 1.0 3.0))
63.0ms
(* (- x (/ 1.0 3.0)) (+ (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))))
54.0ms
(* (* x x) (* x x))
351.0ms
(/ (- (* (* x x) (* x x)) (* (/ (/ (* 1.0 1.0) 3.0) 3.0) (/ (/ (* 1.0 1.0) 3.0) 3.0))) (* (- x (/ 1.0 3.0)) (+ (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))))

simplify502.0ms

Counts
155 → 155
Iterations
IterNodes
done5001
1699
0198

prune639.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes69.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done6
16
05

end0.0ms

sample386.0ms

Algorithm
intervals
Results
193.0ms8000×body80valid