Details

Time bar (total: 59.2s)

sample440.0ms

Algorithm
intervals
Results
309.0ms1171×body80valid

simplify2.3s

Counts
1 → 1
Iterations

Useful iterations: 3 (190.0ms)

IterNodesCost
03138
16438
215338
349737
4179737
done500137

prune49.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 32.0b

localize81.0ms

Local error

Found 4 expressions with local error:

7.4b
(* (+ (* (- (* (+ (* (* (- 5.0) x) x) (* 15.0 (pow y 2.0))) x) (* 20.0 (pow z 3.0))) x) (* 15.0 (pow p 4.0))) x)
8.6b
(* (+ (* (* (- 5.0) x) x) (* 15.0 (pow y 2.0))) x)
9.4b
(* (- (* (+ (* (* (- 5.0) x) x) (* 15.0 (pow y 2.0))) x) (* 20.0 (pow z 3.0))) x)
13.5b
(* (- (* (+ (* (- (* (+ (* (* (- 5.0) x) x) (* 15.0 (pow y 2.0))) x) (* 20.0 (pow z 3.0))) x) (* 15.0 (pow p 4.0))) x) (* 6.0 (pow q 5.0))) x)

rewrite2.6s

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
12×pow1 *-un-lft-identity add-cbrt-cube associate-*r* associate-*l* add-exp-log add-cube-cbrt
associate-*l/
pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr
flip3-+ flip3-- flip-+ flip--
Counts
4 → 80
Calls
4 calls:
482.0ms
(* (+ (* (- (* (+ (* (* (- 5.0) x) x) (* 15.0 (pow y 2.0))) x) (* 20.0 (pow z 3.0))) x) (* 15.0 (pow p 4.0))) x)
151.0ms
(* (+ (* (* (- 5.0) x) x) (* 15.0 (pow y 2.0))) x)
286.0ms
(* (- (* (+ (* (* (- 5.0) x) x) (* 15.0 (pow y 2.0))) x) (* 20.0 (pow z 3.0))) x)
1.7s
(* (- (* (+ (* (- (* (+ (* (* (- 5.0) x) x) (* 15.0 (pow y 2.0))) x) (* 20.0 (pow z 3.0))) x) (* 15.0 (pow p 4.0))) x) (* 6.0 (pow q 5.0))) x)

series931.0ms

Counts
4 → 12
Calls
4 calls:
220.0ms
(* (+ (* (- (* (+ (* (* (- 5.0) x) x) (* 15.0 (pow y 2.0))) x) (* 20.0 (pow z 3.0))) x) (* 15.0 (pow p 4.0))) x)
145.0ms
(* (+ (* (* (- 5.0) x) x) (* 15.0 (pow y 2.0))) x)
214.0ms
(* (- (* (+ (* (* (- 5.0) x) x) (* 15.0 (pow y 2.0))) x) (* 20.0 (pow z 3.0))) x)
352.0ms
(* (- (* (+ (* (- (* (+ (* (* (- 5.0) x) x) (* 15.0 (pow y 2.0))) x) (* 20.0 (pow z 3.0))) x) (* 15.0 (pow p 4.0))) x) (* 6.0 (pow q 5.0))) x)

simplify3.9s

Counts
92 → 92
Iterations

Useful iterations: done (3.9s)

IterNodesCost
02023004
15832852
232812566
done50032564

prune2.5s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 24.9b

localize104.0ms

Local error

Found 4 expressions with local error:

7.4b
(* (+ (* (- (- (* 15.0 (* (* x (pow y 2)) (pow (/ 1 (pow -1 2.0)) 1.0))) (* 5.0 (pow x 3))) (* 20.0 (pow z 3.0))) x) (* 15.0 (pow p 4.0))) x)
8.6b
(* x (pow y 2))
9.4b
(* (- (- (* 15.0 (* (* x (pow y 2)) (pow (/ 1 (pow -1 2.0)) 1.0))) (* 5.0 (pow x 3))) (* 20.0 (pow z 3.0))) x)
13.5b
(* (- (* (+ (* (- (- (* 15.0 (* (* x (pow y 2)) (pow (/ 1 (pow -1 2.0)) 1.0))) (* 5.0 (pow x 3))) (* 20.0 (pow z 3.0))) x) (* 15.0 (pow p 4.0))) x) (* 6.0 (pow q 5.0))) x)

rewrite19.7s

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
17×associate-*r*
15×add-exp-log
13×*-un-lft-identity add-cube-cbrt
12×add-cbrt-cube associate-*l*
10×pow1
unswap-sqr
associate-*l/ prod-exp
unpow-prod-down *-commutative cbrt-unprod add-log-exp
pow-prod-down
flip3-- flip-- unpow2 sqr-pow
pow-to-exp flip3-+ pow-exp flip-+
Counts
4 → 87
Calls
4 calls:
5.1s
(* (+ (* (- (- (* 15.0 (* (* x (pow y 2)) (pow (/ 1 (pow -1 2.0)) 1.0))) (* 5.0 (pow x 3))) (* 20.0 (pow z 3.0))) x) (* 15.0 (pow p 4.0))) x)
24.0ms
(* x (pow y 2))
4.0s
(* (- (- (* 15.0 (* (* x (pow y 2)) (pow (/ 1 (pow -1 2.0)) 1.0))) (* 5.0 (pow x 3))) (* 20.0 (pow z 3.0))) x)
10.5s
(* (- (* (+ (* (- (- (* 15.0 (* (* x (pow y 2)) (pow (/ 1 (pow -1 2.0)) 1.0))) (* 5.0 (pow x 3))) (* 20.0 (pow z 3.0))) x) (* 15.0 (pow p 4.0))) x) (* 6.0 (pow q 5.0))) x)

series3.9s

Counts
4 → 12
Calls
4 calls:
1.2s
(* (+ (* (- (- (* 15.0 (* (* x (pow y 2)) (pow (/ 1 (pow -1 2.0)) 1.0))) (* 5.0 (pow x 3))) (* 20.0 (pow z 3.0))) x) (* 15.0 (pow p 4.0))) x)
70.0ms
(* x (pow y 2))
1.1s
(* (- (- (* 15.0 (* (* x (pow y 2)) (pow (/ 1 (pow -1 2.0)) 1.0))) (* 5.0 (pow x 3))) (* 20.0 (pow z 3.0))) x)
1.5s
(* (- (* (+ (* (- (- (* 15.0 (* (* x (pow y 2)) (pow (/ 1 (pow -1 2.0)) 1.0))) (* 5.0 (pow x 3))) (* 20.0 (pow z 3.0))) x) (* 15.0 (pow p 4.0))) x) (* 6.0 (pow q 5.0))) x)

simplify2.9s

Counts
99 → 99
Iterations

Useful iterations: 2 (878.0ms)

IterNodesCost
01903343
15173171
228342832
done50042832

prune1.4s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 23.9b

regimes3.2s

Accuracy

57% (1.4b remaining)

Error of 27.9b against oracle of 26.4b and baseline of 29.8b

bsearch746.0ms

Steps
ItersRangePoint
6
4.891999648568177e-149
4.239540238704456e-148
1.9010727861340528e-148
9
-4.178363110371287e-169
-4.593231416550635e-174
-7.54282597712876e-173

simplify72.0ms

Iterations

Useful iterations: 2 (54.0ms)

IterNodesCost
052123
17171
27569
37969
48169
done8169

end0.0ms

sample14.5s

Algorithm
intervals
Results
11.4s35052×body80valid