Details

Time bar (total: 9.2s)

sample18.0ms

Algorithm
intervals
Results
9.0ms256×body80valid

simplify4.0s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01619
13119
24619
35919
47519
58319
69219
711419
814419
917519
1021919
1133119
1259819
13108519
14126619
15141819
16210119
done500019

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ 0.99229 (* x 0.04481))
0.0b
(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
0.1b
(* x (+ 0.99229 (* x 0.04481)))
13.7b
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite91.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
18×*-un-lft-identity
16×add-cube-cbrt
10×add-exp-log times-frac add-cbrt-cube
9×associate-*r*
8×pow1
6×associate-*l* add-log-exp
4×flip3-+ associate-*r/ flip-+
3×distribute-rgt-in distribute-lft-in associate-/r* associate-/l*
2×sub-neg pow-prod-down prod-exp associate-/r/ *-commutative cbrt-unprod associate-/l/ difference-of-squares unswap-sqr
1×cbrt-undiv +-commutative flip3-- frac-2neg div-exp clear-num sum-log flip-- div-inv distribute-lft-out--
Counts
4 → 91
Calls
4 calls:
2.0ms
(+ 0.99229 (* x 0.04481))
70.0ms
(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
7.0ms
(* x (+ 0.99229 (* x 0.04481)))
9.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series263.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(+ 0.99229 (* x 0.04481))
100.0ms
(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
67.0ms
(* x (+ 0.99229 (* x 0.04481)))
61.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify694.0ms

Counts
103 → 103
Iterations

Useful iterations: 2 (168.0ms)

IterNodesCost
02021888
15071810
217591662
done50011662

prune239.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

7.3b
(* (/ 1 (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
14.0b
(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
14.0b
(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
14.0b
(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
49×add-exp-log
43×add-sqr-sqrt
33×times-frac
25×*-un-lft-identity
24×associate-*r*
22×add-cube-cbrt
21×cbrt-prod
20×cbrt-div prod-exp
18×add-cbrt-cube
15×div-exp associate-*l*
10×flip3-+ associate-/r/ flip-+
9×unswap-sqr
8×cbrt-unprod
7×cbrt-undiv
6×pow1
5×frac-times
4×rec-exp 1-exp add-log-exp
3×pow1/3 associate-*r/ associate-*l/
2×div-inv
1×pow-prod-down *-commutative
Counts
4 → 119
Calls
4 calls:
68.0ms
(* (/ 1 (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
2.0ms
(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
2.0ms
(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
2.0ms
(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series519.0ms

Counts
4 → 12
Calls
4 calls:
64.0ms
(* (/ 1 (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
146.0ms
(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
156.0ms
(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
152.0ms
(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify908.0ms

Counts
131 → 131
Iterations

Useful iterations: 2 (335.0ms)

IterNodesCost
02535334
17584974
228153996
done50003996

prune484.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.1b
(* x (+ 0.99229 (* x 0.04481)))
0.1b
(pow (* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)) 3)
13.7b
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
21.3b
(cbrt (pow (* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)) 3))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
16×add-cube-cbrt *-un-lft-identity
11×add-exp-log add-cbrt-cube
9×pow1 times-frac
8×cbrt-prod
6×associate-*r/
4×cube-div add-log-exp
3×pow-unpow flip3-+ associate-*r* associate-*l* associate-/r* flip-+ associate-/l*
2×cube-mult unpow-prod-down cbrt-div flip3-- pow-pow unpow3 cube-prod pow-prod-down pow-exp prod-exp associate-/r/ flip-- cbrt-unprod associate-/l/ rem-cube-cbrt sqr-pow
1×cbrt-undiv distribute-rgt-in pow-to-exp frac-2neg distribute-lft-in pow1/3 div-exp clear-num *-commutative rem-cbrt-cube div-inv unswap-sqr
Counts
4 → 96
Calls
4 calls:
7.0ms
(* x (+ 0.99229 (* x 0.04481)))
24.0ms
(pow (* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)) 3)
9.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
2.0ms
(cbrt (pow (* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)) 3))

series393.0ms

Counts
4 → 12
Calls
4 calls:
72.0ms
(* x (+ 0.99229 (* x 0.04481)))
149.0ms
(pow (* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)) 3)
64.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
108.0ms
(cbrt (pow (* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)) 3))

simplify711.0ms

Counts
108 → 108
Iterations

Useful iterations: 2 (189.0ms)

IterNodesCost
02232539
15592316
219682126
done50002126

prune318.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes51.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

Useful iterations: 0 (0.0ms)

IterNodesCost
01619
12319
done2319

end0.0ms

sample364.0ms

Algorithm
intervals
Results
267.0ms8000×body80valid