Details

Time bar (total: 39.3s)

sample152.0ms

Algorithm
intervals
Results
126.0ms437×body80valid

simplify2.4s

Counts
1 → 1
Iterations
IterNodes
44611
31089
2240
174
028

prune24.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize100.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
0.1b
(* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))
0.2b
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
1.0b
(sqrt PI)

rewrite2.5s

Algorithm
rewrite-expression-head
Rules
119×add-exp-log
76×prod-exp
75×add-cbrt-cube
48×associate-*l*
46×add-sqr-sqrt
44×cbrt-unprod
40×times-frac
36×pow1
35×*-un-lft-identity
33×add-cube-cbrt
22×pow-prod-down
15×div-exp associate-*l/
14×sqrt-prod
12×frac-add
9×cbrt-undiv
6×frac-times rec-exp flip3-+ 1-exp associate-*r/ flip-+
5×associate-*r* unswap-sqr
4×insert-posit16 add-log-exp
3×*-commutative div-inv
1×distribute-rgt-in rem-sqrt-square distribute-lft-in sqrt-pow1 pow1/2
Counts
4 → 173
Calls
4 calls:
629.0ms
(* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
1.8s
(* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))
90.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
2.0ms
(sqrt PI)

series505.0ms

Counts
4 → 10
Calls
4 calls:
80.0ms
(* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
373.0ms
(* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))
52.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify3.0s

Counts
183 → 183
Iterations
IterNodes
24556
11214
0354

prune3.4s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize45.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (pow (fabs x) 5) 1/5)
0.1b
(* (fabs x) (* (fabs x) 2/3))
0.1b
(* (+ (+ (* (pow (fabs x) 5) 1/5) (* (fabs x) (+ (* (fabs x) (* (fabs x) 2/3)) 2))) (* 1/21 (pow (fabs x) 7))) (sqrt (/ 1 PI)))
0.3b
(* (fabs x) 2/3)

rewrite114.0ms

Algorithm
rewrite-expression-head
Rules
35×add-sqr-sqrt
23×associate-*r*
20×*-un-lft-identity
19×add-cube-cbrt
18×add-exp-log
16×associate-*l* sqrt-prod
15×add-cbrt-cube
13×pow1
11×times-frac
8×prod-exp unswap-sqr
6×cbrt-unprod
5×pow-prod-down
4×unpow-prod-down *-commutative insert-posit16 add-log-exp
3×sqrt-div
2×frac-times flip3-+ associate-*l/ flip-+ sqr-pow
1×pow-to-exp pow-exp associate-*r/ div-inv
Counts
4 → 104
Calls
4 calls:
8.0ms
(* (pow (fabs x) 5) 1/5)
25.0ms
(* (fabs x) (* (fabs x) 2/3))
74.0ms
(* (+ (+ (* (pow (fabs x) 5) 1/5) (* (fabs x) (+ (* (fabs x) (* (fabs x) 2/3)) 2))) (* 1/21 (pow (fabs x) 7))) (sqrt (/ 1 PI)))
5.0ms
(* (fabs x) 2/3)

series477.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(* (pow (fabs x) 5) 1/5)
36.0ms
(* (fabs x) (* (fabs x) 2/3))
363.0ms
(* (+ (+ (* (pow (fabs x) 5) 1/5) (* (fabs x) (+ (* (fabs x) (* (fabs x) 2/3)) 2))) (* 1/21 (pow (fabs x) 7))) (sqrt (/ 1 PI)))
19.0ms
(* (fabs x) 2/3)

simplify4.4s

Counts
116 → 116
Iterations
IterNodes
38059
21781
1488
0197

prune1.9s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize78.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (fabs x) (* (fabs x) 2/3))
0.2b
(* (+ (+ (* (pow (fabs x) 5) 1/5) (* (fabs x) (+ (* (fabs x) (* (fabs x) 2/3)) 2))) (* 1/21 (pow (fabs x) 7))) (sqrt (sqrt (/ 1 PI))))
0.3b
(* (* (+ (+ (* (pow (fabs x) 5) 1/5) (* (fabs x) (+ (* (fabs x) (* (fabs x) 2/3)) 2))) (* 1/21 (pow (fabs x) 7))) (sqrt (sqrt (/ 1 PI)))) (sqrt (sqrt (/ 1 PI))))
0.3b
(* (fabs x) 2/3)

rewrite295.0ms

Algorithm
rewrite-expression-head
Rules
65×sqrt-prod
42×associate-*r*
39×add-sqr-sqrt
30×sqrt-div
27×*-un-lft-identity
26×add-cube-cbrt
20×times-frac
18×pow1 add-cbrt-cube add-exp-log
11×frac-times associate-*l/
10×associate-*l*
8×pow-prod-down prod-exp cbrt-unprod
6×flip3-+ flip-+ unswap-sqr
4×associate-*r/ *-commutative insert-posit16 add-log-exp
2×div-inv
Counts
4 → 128
Calls
4 calls:
13.0ms
(* (fabs x) (* (fabs x) 2/3))
107.0ms
(* (+ (+ (* (pow (fabs x) 5) 1/5) (* (fabs x) (+ (* (fabs x) (* (fabs x) 2/3)) 2))) (* 1/21 (pow (fabs x) 7))) (sqrt (sqrt (/ 1 PI))))
166.0ms
(* (* (+ (+ (* (pow (fabs x) 5) 1/5) (* (fabs x) (+ (* (fabs x) (* (fabs x) 2/3)) 2))) (* 1/21 (pow (fabs x) 7))) (sqrt (sqrt (/ 1 PI)))) (sqrt (sqrt (/ 1 PI))))
5.0ms
(* (fabs x) 2/3)

series1.3s

Counts
4 → 12
Calls
4 calls:
49.0ms
(* (fabs x) (* (fabs x) 2/3))
560.0ms
(* (+ (+ (* (pow (fabs x) 5) 1/5) (* (fabs x) (+ (* (fabs x) (* (fabs x) 2/3)) 2))) (* 1/21 (pow (fabs x) 7))) (sqrt (sqrt (/ 1 PI))))
711.0ms
(* (* (+ (+ (* (pow (fabs x) 5) 1/5) (* (fabs x) (+ (* (fabs x) (* (fabs x) 2/3)) 2))) (* 1/21 (pow (fabs x) 7))) (sqrt (sqrt (/ 1 PI)))) (sqrt (sqrt (/ 1 PI))))
23.0ms
(* (fabs x) 2/3)

simplify850.0ms

Counts
140 → 140
Iterations
IterNodes
22041
1586
0222

prune2.7s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize77.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* (+ (+ (* (pow (fabs x) 5) 1/5) (* (fabs x) (+ (* (fabs x) (* (fabs x) 2/3)) 2))) (* 1/21 (pow (fabs x) 7))) (* (cbrt (sqrt (sqrt (/ 1 PI)))) (cbrt (sqrt (sqrt (/ 1 PI)))))) (cbrt (sqrt (sqrt (/ 1 PI)))))
0.3b
(* (* (* (+ (+ (* (pow (fabs x) 5) 1/5) (* (fabs x) (+ (* (fabs x) (* (fabs x) 2/3)) 2))) (* 1/21 (pow (fabs x) 7))) (* (cbrt (sqrt (sqrt (/ 1 PI)))) (cbrt (sqrt (sqrt (/ 1 PI)))))) (cbrt (sqrt (sqrt (/ 1 PI))))) (sqrt (sqrt (/ 1 PI))))
0.3b
(* (+ (+ (* (pow (fabs x) 5) 1/5) (* (fabs x) (+ (* (fabs x) (* (fabs x) 2/3)) 2))) (* 1/21 (pow (fabs x) 7))) (* (cbrt (sqrt (sqrt (/ 1 PI)))) (cbrt (sqrt (sqrt (/ 1 PI))))))
0.3b
(* (fabs x) 2/3)

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
288×sqrt-div
120×cbrt-div
119×frac-times
91×associate-*l/
58×sqrt-prod
46×associate-*r/
45×associate-*r*
34×pow1 add-exp-log
29×add-sqr-sqrt
28×flip3-+ flip-+
26×*-un-lft-identity add-cube-cbrt
22×add-cbrt-cube
20×pow-prod-down prod-exp cbrt-unprod
19×cbrt-prod
18×times-frac
8×associate-*l*
4×*-commutative insert-posit16 add-log-exp
2×div-inv unswap-sqr
Counts
4 → 202
Calls
4 calls:
208.0ms
(* (* (+ (+ (* (pow (fabs x) 5) 1/5) (* (fabs x) (+ (* (fabs x) (* (fabs x) 2/3)) 2))) (* 1/21 (pow (fabs x) 7))) (* (cbrt (sqrt (sqrt (/ 1 PI)))) (cbrt (sqrt (sqrt (/ 1 PI)))))) (cbrt (sqrt (sqrt (/ 1 PI)))))
675.0ms
(* (* (* (+ (+ (* (pow (fabs x) 5) 1/5) (* (fabs x) (+ (* (fabs x) (* (fabs x) 2/3)) 2))) (* 1/21 (pow (fabs x) 7))) (* (cbrt (sqrt (sqrt (/ 1 PI)))) (cbrt (sqrt (sqrt (/ 1 PI)))))) (cbrt (sqrt (sqrt (/ 1 PI))))) (sqrt (sqrt (/ 1 PI))))
153.0ms
(* (+ (+ (* (pow (fabs x) 5) 1/5) (* (fabs x) (+ (* (fabs x) (* (fabs x) 2/3)) 2))) (* 1/21 (pow (fabs x) 7))) (* (cbrt (sqrt (sqrt (/ 1 PI)))) (cbrt (sqrt (sqrt (/ 1 PI))))))
12.0ms
(* (fabs x) 2/3)

series1.9s

Counts
4 → 12
Calls
4 calls:
709.0ms
(* (* (+ (+ (* (pow (fabs x) 5) 1/5) (* (fabs x) (+ (* (fabs x) (* (fabs x) 2/3)) 2))) (* 1/21 (pow (fabs x) 7))) (* (cbrt (sqrt (sqrt (/ 1 PI)))) (cbrt (sqrt (sqrt (/ 1 PI)))))) (cbrt (sqrt (sqrt (/ 1 PI)))))
446.0ms
(* (* (* (+ (+ (* (pow (fabs x) 5) 1/5) (* (fabs x) (+ (* (fabs x) (* (fabs x) 2/3)) 2))) (* 1/21 (pow (fabs x) 7))) (* (cbrt (sqrt (sqrt (/ 1 PI)))) (cbrt (sqrt (sqrt (/ 1 PI)))))) (cbrt (sqrt (sqrt (/ 1 PI))))) (sqrt (sqrt (/ 1 PI))))
686.0ms
(* (+ (+ (* (pow (fabs x) 5) 1/5) (* (fabs x) (+ (* (fabs x) (* (fabs x) 2/3)) 2))) (* 1/21 (pow (fabs x) 7))) (* (cbrt (sqrt (sqrt (/ 1 PI)))) (cbrt (sqrt (sqrt (/ 1 PI))))))
19.0ms
(* (fabs x) 2/3)

simplify1.4s

Counts
214 → 214
Iterations
IterNodes
22612
1945
0344

prune4.9s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

regimes94.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify12.0ms

Iterations
IterNodes
235
135
024

end0.0ms

sample5.5s

Algorithm
intervals
Results
5.3s14044×body80valid