Details

Time bar (total: 26.4s)

sample89.0ms

Algorithm
intervals
Results
66.0ms424×body80valid

simplify3.2s

Counts
1 → 1
Iterations
IterNodes
done5000
31250
2261
175
028

prune26.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize91.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* (fabs x) (fabs x)) (fabs x))
0.1b
(* (* (fabs x) (fabs x)) (fabs x))
0.2b
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
1.0b
(sqrt PI)

rewrite129.0ms

Algorithm
rewrite-expression-head
Rules
52×pow1
35×add-cbrt-cube add-exp-log
18×prod-exp cbrt-unprod
17×add-sqr-sqrt
15×associate-*l*
14×*-un-lft-identity add-cube-cbrt
12×pow-plus pow-prod-down pow-prod-up
9×times-frac
7×associate-*r*
4×pow2 expm1-log1p-u pow-sqr insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv div-exp *-commutative sqrt-prod
2×pow3 unswap-sqr
1×rem-sqrt-square sqrt-pow1 pow1/2 associate-*l/ div-inv
Counts
4 → 119
Calls
4 calls:
18.0ms
(* (* (fabs x) (fabs x)) (fabs x))
33.0ms
(* (* (fabs x) (fabs x)) (fabs x))
74.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
1.0ms
(sqrt PI)

series127.0ms

Counts
4 → 10
Calls
4 calls:
44.0ms
(* (* (fabs x) (fabs x)) (fabs x))
27.0ms
(* (* (fabs x) (fabs x)) (fabs x))
56.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify3.4s

Counts
129 → 129
Iterations
IterNodes
done5000
34799
21276
1354
0136

prune759.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize82.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* (fabs x) (fabs x)) (fabs x))
0.1b
(* (* (fabs x) (fabs x)) (fabs x))
0.2b
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
1.0b
(sqrt PI)

rewrite193.0ms

Algorithm
rewrite-expression-head
Rules
52×pow1
35×add-cbrt-cube add-exp-log
18×prod-exp cbrt-unprod
17×add-sqr-sqrt
15×associate-*l*
14×*-un-lft-identity add-cube-cbrt
12×pow-plus pow-prod-down pow-prod-up
9×times-frac
7×associate-*r*
4×pow2 expm1-log1p-u pow-sqr insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv div-exp *-commutative sqrt-prod
2×pow3 unswap-sqr
1×rem-sqrt-square sqrt-pow1 pow1/2 associate-*l/ div-inv
Counts
4 → 119
Calls
4 calls:
28.0ms
(* (* (fabs x) (fabs x)) (fabs x))
39.0ms
(* (* (fabs x) (fabs x)) (fabs x))
122.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
1.0ms
(sqrt PI)

series138.0ms

Counts
4 → 10
Calls
4 calls:
37.0ms
(* (* (fabs x) (fabs x)) (fabs x))
45.0ms
(* (* (fabs x) (fabs x)) (fabs x))
56.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify3.7s

Counts
129 → 129
Iterations
IterNodes
done5000
34528
21280
1358
0138

prune815.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize76.0ms

Local error

Found 4 expressions with local error:

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

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
24×pow1
22×*-un-lft-identity add-cube-cbrt
18×times-frac
16×add-cbrt-cube add-exp-log
15×sqrt-prod
6×associate-/r* pow-prod-down prod-exp cbrt-unprod
5×pow-prod-up
4×expm1-log1p-u associate-*r* associate-*l* insert-posit16 log1p-expm1-u add-log-exp
3×associate-/l*
2×*-commutative unswap-sqr
1×pow2 cbrt-undiv rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow-plus pow1/2 cube-unmult div-exp pow-sqr div-inv
Counts
4 → 107
Calls
4 calls:
21.0ms
(* (fabs x) (* (fabs x) (fabs x)))
36.0ms
(* (* (fabs x) (fabs x)) 1/21)
12.0ms
(/ (fma 2/3 (* (fabs x) (* (fabs x) (fabs x))) (fma 2 (fabs x) (* (* (* (fabs x) (fabs x)) (* (fabs x) (* (fabs x) (fabs x)))) (+ 1/5 (* (* (fabs x) (fabs x)) 1/21))))) (sqrt PI))
2.0ms
(sqrt PI)

series420.0ms

Counts
4 → 10
Calls
4 calls:
34.0ms
(* (fabs x) (* (fabs x) (fabs x)))
32.0ms
(* (* (fabs x) (fabs x)) 1/21)
354.0ms
(/ (fma 2/3 (* (fabs x) (* (fabs x) (fabs x))) (fma 2 (fabs x) (* (* (* (fabs x) (fabs x)) (* (fabs x) (* (fabs x) (fabs x)))) (+ 1/5 (* (* (fabs x) (fabs x)) 1/21))))) (sqrt PI))
0.0ms
(sqrt PI)

simplify2.6s

Counts
117 → 117
Iterations
IterNodes
done5002
32602
2906
1325
0162

prune644.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize52.0ms

Local error

Found 4 expressions with local error:

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

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
564×sqrt-prod
549×times-frac
296×add-sqr-sqrt
293×*-un-lft-identity add-cube-cbrt
31×associate-/l*
14×add-cbrt-cube add-exp-log
11×pow1 div-inv
9×associate-/r*
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv div-exp associate-*r* pow-prod-down prod-exp cbrt-unprod
2×rem-sqrt-square sqrt-pow1 pow1/2
1×clear-num frac-2neg associate-*l* *-commutative unswap-sqr associate-/l/
Counts
4 → 391
Calls
4 calls:
19.0ms
(* (* (fabs x) (fabs x)) 1/21)
44.0ms
(/ (/ (fma 2/3 (* (fabs x) (* (fabs x) (fabs x))) (fma 2 (fabs x) (* (* (* (fabs x) (fabs x)) (* (fabs x) (* (fabs x) (fabs x)))) (+ 1/5 (* (* (fabs x) (fabs x)) 1/21))))) (sqrt (sqrt PI))) (sqrt (sqrt PI)))
1.0ms
(sqrt PI)
1.0ms
(sqrt PI)

series384.0ms

Counts
4 → 8
Calls
4 calls:
50.0ms
(* (* (fabs x) (fabs x)) 1/21)
334.0ms
(/ (/ (fma 2/3 (* (fabs x) (* (fabs x) (fabs x))) (fma 2 (fabs x) (* (* (* (fabs x) (fabs x)) (* (fabs x) (* (fabs x) (fabs x)))) (+ 1/5 (* (* (fabs x) (fabs x)) 1/21))))) (sqrt (sqrt PI))) (sqrt (sqrt PI)))
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

simplify2.8s

Counts
399 → 399
Iterations
IterNodes
done5103
22138
1980
0439

prune2.3s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes343.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify12.0ms

Iterations
IterNodes
done51
151
031

end0.0ms

sample3.9s

Algorithm
intervals
Results
3.6s14001×body80valid