Details

Time bar (total: 28.1s)

sample34.0ms

Algorithm
intervals
Results
23.0ms256×body80valid

simplify2.4s

Counts
1 → 1
Iterations
IterNodes
done5141
143335
131795
121168
11845
10504
9247
8169
7139
6109
586
477
358
233
122
014

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ 0.99229 (* x 0.04481))
0.0b
(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
0.0b
(* (+ 0.99229 (* x 0.04481)) x)
16.3b
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

rewrite1.0s

Algorithm
rewrite-expression-head
Rules
122×*-un-lft-identity
56×distribute-lft-out
39×associate-*l*
36×times-frac
27×add-sqr-sqrt
20×add-cube-cbrt
8×add-cbrt-cube add-exp-log add-log-exp
7×associate-/r*
6×pow1
5×associate-/l*
4×flip3-+ flip-+ insert-posit16
3×associate-*r*
2×associate-*l/ associate-/r/ difference-of-squares associate-/l/
1×cbrt-undiv +-commutative clear-num sum-log sub-neg frac-2neg flip3-- diff-log div-exp pow-prod-down prod-exp *-commutative cbrt-unprod div-inv flip-- distribute-lft-out-- unswap-sqr
Counts
4 → 117
Calls
4 calls:
25.0ms
(+ 0.99229 (* x 0.04481))
573.0ms
(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
56.0ms
(* (+ 0.99229 (* x 0.04481)) x)
359.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

series378.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(+ 0.99229 (* x 0.04481))
137.0ms
(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
112.0ms
(* (+ 0.99229 (* x 0.04481)) x)
84.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

simplify1.6s

Counts
129 → 129
Iterations
IterNodes
done5000
21475
1431
0174

prune415.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize63.0ms

Local error

Found 4 expressions with local error:

6.0b
(* (/ 1 (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))
16.7b
(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
16.7b
(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
16.7b
(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

rewrite10.7s

Algorithm
rewrite-expression-head
Rules
4671×*-un-lft-identity
2326×distribute-lft-out
2301×cbrt-prod
1954×associate-*l*
1899×associate-/r*
1304×frac-times
918×add-sqr-sqrt
732×swap-sqr
523×add-cube-cbrt
396×associate-/l*
319×times-frac
296×associate-*r*
177×unswap-sqr
132×associate-/l/
88×clear-num
87×frac-2neg
76×flip3-+ flip-+
67×associate-*l/
61×add-cbrt-cube
49×add-exp-log
31×*-commutative
30×cbrt-unprod
27×cbrt-undiv
22×associate-*r/
20×cbrt-div prod-exp
15×div-exp
10×associate-/r/
6×pow1
4×rec-exp 1-exp un-div-inv insert-posit16 add-log-exp
3×pow1/3
2×div-inv
1×pow-prod-down
Counts
4 → 1787
Calls
4 calls:
9.9s
(* (/ 1 (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))
131.0ms
(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
152.0ms
(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
152.0ms
(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

series714.0ms

Counts
4 → 12
Calls
4 calls:
116.0ms
(* (/ 1 (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))
201.0ms
(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
173.0ms
(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
224.0ms
(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

simplify5.2s

Counts
1799 → 1799
Iterations
IterNodes
done5002
14272
0977

prune4.4s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes56.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
done20
120
014

end0.0ms

sample1.1s

Algorithm
intervals
Results
957.0ms8000×body80valid