Details

Time bar (total: 21.0s)

sample87.0ms

Algorithm
intervals
Results
44.0ms256×body80valid

simplify1.1s

Counts
1 → 1
Iterations
IterNodes
done5000
41945
3460
2138
155
029

prune33.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 25.7b

localize57.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (+ 263.505074721 (* x (+ 43.3400022514 x))) x)
0.1b
(* x (+ 78.6994924154 (* 4.16438922228 x)))
2.4b
(/ (- x 2.0) (+ (* x (+ 313.399215894 (* (+ 263.505074721 (* x (+ 43.3400022514 x))) x))) 47.066876606))
25.0b
(* (/ (- x 2.0) (+ (* x (+ 313.399215894 (* (+ 263.505074721 (* x (+ 43.3400022514 x))) x))) 47.066876606)) (+ (* (+ y (* (+ (* x (+ 78.6994924154 (* 4.16438922228 x))) 137.519416416) x)) x) z))

rewrite191.0ms

Algorithm
rewrite-expression-head
Rules
51×add-sqr-sqrt
42×*-un-lft-identity
31×times-frac
28×add-cube-cbrt
27×associate-*l*
15×add-cbrt-cube add-exp-log
10×pow1
9×associate-*r*
7×distribute-lft-out-- difference-of-squares
6×flip3-+ flip-+
5×associate-/l*
4×prod-exp associate-*r/ associate-/r/ cbrt-unprod add-log-exp unswap-sqr
3×associate-/r* pow-prod-down associate-*l/ *-commutative
2×distribute-rgt-in frac-times cbrt-undiv distribute-lft-in div-exp div-inv associate-/l/
1×clear-num frac-2neg flip3-- div-sub flip--
Counts
4 → 128
Calls
4 calls:
14.0ms
(* (+ 263.505074721 (* x (+ 43.3400022514 x))) x)
13.0ms
(* x (+ 78.6994924154 (* 4.16438922228 x)))
22.0ms
(/ (- x 2.0) (+ (* x (+ 313.399215894 (* (+ 263.505074721 (* x (+ 43.3400022514 x))) x))) 47.066876606))
138.0ms
(* (/ (- x 2.0) (+ (* x (+ 313.399215894 (* (+ 263.505074721 (* x (+ 43.3400022514 x))) x))) 47.066876606)) (+ (* (+ y (* (+ (* x (+ 78.6994924154 (* 4.16438922228 x))) 137.519416416) x)) x) z))

series586.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(* (+ 263.505074721 (* x (+ 43.3400022514 x))) x)
105.0ms
(* x (+ 78.6994924154 (* 4.16438922228 x)))
92.0ms
(/ (- x 2.0) (+ (* x (+ 313.399215894 (* (+ 263.505074721 (* x (+ 43.3400022514 x))) x))) 47.066876606))
334.0ms
(* (/ (- x 2.0) (+ (* x (+ 313.399215894 (* (+ 263.505074721 (* x (+ 43.3400022514 x))) x))) 47.066876606)) (+ (* (+ y (* (+ (* x (+ 78.6994924154 (* 4.16438922228 x))) 137.519416416) x)) x) z))

simplify2.7s

Counts
140 → 140
Iterations
IterNodes
done5000
24710
1939
0274

prune1.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize81.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (+ (* (+ (* 4.16438922228 x) 78.6994924154) x) 137.519416416) x)
0.1b
(* (+ (* (+ 43.3400022514 x) x) 263.505074721) x)
0.1b
(* (+ (* 4.16438922228 x) 78.6994924154) x)
24.9b
(/ (+ (* (+ (* (+ (* (+ (* 4.16438922228 x) 78.6994924154) x) 137.519416416) x) y) x) z) (+ 47.066876606 (* (+ 313.399215894 (* (+ (* (+ 43.3400022514 x) x) 263.505074721) x)) x)))

rewrite305.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
18×*-un-lft-identity add-cube-cbrt
12×add-cbrt-cube add-exp-log
10×pow1
9×times-frac associate-*r* associate-*l*
6×associate-*l/
5×flip3-+ flip-+
4×add-log-exp
3×associate-/r* pow-prod-down prod-exp *-commutative cbrt-unprod associate-/l* unswap-sqr
2×associate-/r/ associate-/l/
1×cbrt-undiv clear-num frac-2neg div-exp div-inv
Counts
4 → 91
Calls
4 calls:
79.0ms
(* (+ (* (+ (* 4.16438922228 x) 78.6994924154) x) 137.519416416) x)
67.0ms
(* (+ (* (+ 43.3400022514 x) x) 263.505074721) x)
39.0ms
(* (+ (* 4.16438922228 x) 78.6994924154) x)
115.0ms
(/ (+ (* (+ (* (+ (* (+ (* 4.16438922228 x) 78.6994924154) x) 137.519416416) x) y) x) z) (+ 47.066876606 (* (+ 313.399215894 (* (+ (* (+ 43.3400022514 x) x) 263.505074721) x)) x)))

series593.0ms

Counts
4 → 12
Calls
4 calls:
82.0ms
(* (+ (* (+ (* 4.16438922228 x) 78.6994924154) x) 137.519416416) x)
64.0ms
(* (+ (* (+ 43.3400022514 x) x) 263.505074721) x)
137.0ms
(* (+ (* 4.16438922228 x) 78.6994924154) x)
310.0ms
(/ (+ (* (+ (* (+ (* (+ (* 4.16438922228 x) 78.6994924154) x) 137.519416416) x) y) x) z) (+ 47.066876606 (* (+ 313.399215894 (* (+ (* (+ 43.3400022514 x) x) 263.505074721) x)) x)))

simplify1.6s

Counts
103 → 103
Iterations
IterNodes
done5000
22951
1564
0207

prune1.0s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize71.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (sqrt (+ (* (+ 43.3400022514 x) x) 263.505074721)) (* (sqrt (+ 263.505074721 (* (+ 43.3400022514 x) x))) x))
15.0b
(sqrt (+ 263.505074721 (* (+ 43.3400022514 x) x)))
15.0b
(sqrt (+ (* (+ 43.3400022514 x) x) 263.505074721))
24.9b
(/ (+ (* (+ (* (+ (* (+ (* 4.16438922228 x) 78.6994924154) x) 137.519416416) x) y) x) z) (+ 47.066876606 (* (+ 313.399215894 (* (sqrt (+ (* (+ 43.3400022514 x) x) 263.505074721)) (* (sqrt (+ 263.505074721 (* (+ 43.3400022514 x) x))) x))) x)))

rewrite252.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
16×*-un-lft-identity sqrt-div add-cube-cbrt
11×pow1 add-cbrt-cube add-exp-log
10×flip3-+ flip-+
9×times-frac sqrt-prod
8×associate-*l/
6×associate-*l*
4×frac-times add-log-exp
3×associate-/r* pow-prod-down prod-exp cbrt-unprod associate-/l*
2×rem-sqrt-square sqrt-pow1 pow1/2 associate-*r/ associate-/r/ associate-/l/
1×cbrt-undiv clear-num frac-2neg div-exp associate-*r* *-commutative div-inv
Counts
4 → 90
Calls
4 calls:
108.0ms
(* (sqrt (+ (* (+ 43.3400022514 x) x) 263.505074721)) (* (sqrt (+ 263.505074721 (* (+ 43.3400022514 x) x))) x))
8.0ms
(sqrt (+ 263.505074721 (* (+ 43.3400022514 x) x)))
25.0ms
(sqrt (+ (* (+ 43.3400022514 x) x) 263.505074721))
107.0ms
(/ (+ (* (+ (* (+ (* (+ (* 4.16438922228 x) 78.6994924154) x) 137.519416416) x) y) x) z) (+ 47.066876606 (* (+ 313.399215894 (* (sqrt (+ (* (+ 43.3400022514 x) x) 263.505074721)) (* (sqrt (+ 263.505074721 (* (+ 43.3400022514 x) x))) x))) x)))

series673.0ms

Counts
4 → 12
Calls
4 calls:
74.0ms
(* (sqrt (+ (* (+ 43.3400022514 x) x) 263.505074721)) (* (sqrt (+ 263.505074721 (* (+ 43.3400022514 x) x))) x))
92.0ms
(sqrt (+ 263.505074721 (* (+ 43.3400022514 x) x)))
83.0ms
(sqrt (+ (* (+ 43.3400022514 x) x) 263.505074721))
424.0ms
(/ (+ (* (+ (* (+ (* (+ (* 4.16438922228 x) 78.6994924154) x) 137.519416416) x) y) x) z) (+ 47.066876606 (* (+ 313.399215894 (* (sqrt (+ (* (+ 43.3400022514 x) x) 263.505074721)) (* (sqrt (+ 263.505074721 (* (+ 43.3400022514 x) x))) x))) x)))

simplify1.2s

Counts
102 → 102
Iterations
IterNodes
done5001
22227
1541
0218

prune1.0s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize117.0ms

Local error

Found 4 expressions with local error:

15.0b
(sqrt (+ (* (+ 43.3400022514 x) x) 263.505074721))
15.0b
(sqrt (+ 263.505074721 (* (+ 43.3400022514 x) x)))
24.5b
(* (/ (/ (+ z (* (+ (* (+ (* x (+ 78.6994924154 (* 4.16438922228 x))) 137.519416416) x) y) x)) (+ (* x (+ (* x (+ 263.505074721 (* x (+ x 43.3400022514)))) 313.399215894)) 47.066876606)) (- 47.066876606 (* x (+ (* x (+ 263.505074721 (* x (+ x 43.3400022514)))) 313.399215894)))) (- 47.066876606 (* (+ 313.399215894 (* (sqrt (+ (* (+ 43.3400022514 x) x) 263.505074721)) (* (sqrt (+ 263.505074721 (* (+ 43.3400022514 x) x))) x))) x)))
24.9b
(/ (+ z (* (+ (* (+ (* x (+ 78.6994924154 (* 4.16438922228 x))) 137.519416416) x) y) x)) (+ (* x (+ (* x (+ 263.505074721 (* x (+ x 43.3400022514)))) 313.399215894)) 47.066876606))

rewrite229.0ms

Algorithm
rewrite-expression-head
Rules
84×times-frac
63×add-sqr-sqrt
52×*-un-lft-identity add-cube-cbrt
51×associate-*l*
15×add-cbrt-cube add-exp-log
10×associate-/r/
8×pow1
7×flip3-+ flip-+
6×sqrt-prod
5×div-inv
4×cbrt-undiv sqrt-div div-exp add-log-exp
3×associate-/r* flip3-- associate-*r* prod-exp cbrt-unprod flip-- associate-/l* unswap-sqr
2×distribute-rgt-in frac-times rem-sqrt-square sub-neg distribute-lft-in sqrt-pow1 pow1/2 associate-*r/ associate-/l/
1×clear-num frac-2neg pow-prod-down associate-*l/ *-commutative
Counts
4 → 142
Calls
4 calls:
14.0ms
(sqrt (+ (* (+ 43.3400022514 x) x) 263.505074721))
4.0ms
(sqrt (+ 263.505074721 (* (+ 43.3400022514 x) x)))
114.0ms
(* (/ (/ (+ z (* (+ (* (+ (* x (+ 78.6994924154 (* 4.16438922228 x))) 137.519416416) x) y) x)) (+ (* x (+ (* x (+ 263.505074721 (* x (+ x 43.3400022514)))) 313.399215894)) 47.066876606)) (- 47.066876606 (* x (+ (* x (+ 263.505074721 (* x (+ x 43.3400022514)))) 313.399215894)))) (- 47.066876606 (* (+ 313.399215894 (* (sqrt (+ (* (+ 43.3400022514 x) x) 263.505074721)) (* (sqrt (+ 263.505074721 (* (+ 43.3400022514 x) x))) x))) x)))
92.0ms
(/ (+ z (* (+ (* (+ (* x (+ 78.6994924154 (* 4.16438922228 x))) 137.519416416) x) y) x)) (+ (* x (+ (* x (+ 263.505074721 (* x (+ x 43.3400022514)))) 313.399215894)) 47.066876606))

series1.7s

Counts
4 → 12
Calls
4 calls:
67.0ms
(sqrt (+ (* (+ 43.3400022514 x) x) 263.505074721))
73.0ms
(sqrt (+ 263.505074721 (* (+ 43.3400022514 x) x)))
1.0s
(* (/ (/ (+ z (* (+ (* (+ (* x (+ 78.6994924154 (* 4.16438922228 x))) 137.519416416) x) y) x)) (+ (* x (+ (* x (+ 263.505074721 (* x (+ x 43.3400022514)))) 313.399215894)) 47.066876606)) (- 47.066876606 (* x (+ (* x (+ 263.505074721 (* x (+ x 43.3400022514)))) 313.399215894)))) (- 47.066876606 (* (+ 313.399215894 (* (sqrt (+ (* (+ 43.3400022514 x) x) 263.505074721)) (* (sqrt (+ 263.505074721 (* (+ 43.3400022514 x) x))) x))) x)))
551.0ms
(/ (+ z (* (+ (* (+ (* x (+ 78.6994924154 (* 4.16438922228 x))) 137.519416416) x) y) x)) (+ (* x (+ (* x (+ 263.505074721 (* x (+ x 43.3400022514)))) 313.399215894)) 47.066876606))

simplify745.0ms

Counts
154 → 154
Iterations
IterNodes
done5000
1937
0346

prune2.7s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

regimes542.0ms

Accuracy

97.2% (0.7b remaining)

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

bsearch284.0ms

Steps
ItersRangePoint
6
1.0331382031334687e+34
4.551248528429521e+34
4.482907470899479e+34
3
-6.355897695734351e+32
-5.542623920454159e+32
-6.101749640959292e+32

simplify14.0ms

Iterations
IterNodes
done65
265
164
044

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.5s8002×body80valid