Details

Time bar (total: 45.4s)

sample109.0ms

Algorithm
intervals
Results
90.0ms425×body80valid

simplify4.9s

Counts
1 → 1
Iterations
IterNodes
45586
31256
2259
173
028

prune34.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize129.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* (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.1s

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
39×add-exp-log
36×associate-*l*
35×pow1 add-cbrt-cube
31×times-frac
29×*-un-lft-identity
27×add-cube-cbrt
19×prod-exp
17×cbrt-unprod
14×associate-*l/ sqrt-prod
12×frac-add
10×pow-prod-down
7×associate-*r*
6×frac-times flip3-+ pow-plus associate-*r/ pow-prod-up flip-+ unswap-sqr
5×div-exp
4×expm1-log1p-u cbrt-undiv insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative
2×pow2 pow-sqr div-inv
1×distribute-rgt-in rem-sqrt-square rec-exp distribute-lft-in sqrt-pow1 pow1/2 1-exp pow3
Counts
4 → 151
Calls
4 calls:
31.0ms
(* (* (fabs x) (fabs x)) (fabs x))
2.0s
(* (/ 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)))))
91.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
2.0ms
(sqrt PI)

series434.0ms

Counts
4 → 10
Calls
4 calls:
27.0ms
(* (* (fabs x) (fabs x)) (fabs x))
350.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)))))
56.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify3.2s

Counts
161 → 161
Iterations
IterNodes
24471
11025
0293

prune3.5s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize53.0ms

Local error

Found 4 expressions with local error:

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

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
32×add-sqr-sqrt
26×associate-*l*
20×pow1
18×*-un-lft-identity
17×add-cube-cbrt
16×add-exp-log sqrt-prod
13×add-cbrt-cube
11×times-frac
8×unswap-sqr
7×associate-*r* prod-exp
5×pow-prod-up cbrt-unprod
4×expm1-log1p-u unpow-prod-down pow-prod-down insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative fma-udef
2×sqr-pow
1×pow2 distribute-rgt-in pow-to-exp distribute-lft-in pow-plus sqrt-div cube-unmult associate-*l/ pow-exp pow-sqr div-inv
Counts
4 → 106
Calls
4 calls:
10.0ms
(* (pow (fabs x) 7) 1/21)
7.0ms
(fma 2/3 (* (fabs x) (* (fabs x) (fabs x))) (* (pow (fabs x) 7) 1/21))
15.0ms
(* (fabs x) (* (fabs x) (fabs x)))
18.0ms
(* (sqrt (/ 1 PI)) (fma 1/5 (pow (fabs x) 5) (fma (fabs x) 2 (fma 2/3 (* (fabs x) (* (fabs x) (fabs x))) (* (pow (fabs x) 7) 1/21)))))

series622.0ms

Counts
4 → 12
Calls
4 calls:
92.0ms
(* (pow (fabs x) 7) 1/21)
134.0ms
(fma 2/3 (* (fabs x) (* (fabs x) (fabs x))) (* (pow (fabs x) 7) 1/21))
29.0ms
(* (fabs x) (* (fabs x) (fabs x)))
366.0ms
(* (sqrt (/ 1 PI)) (fma 1/5 (pow (fabs x) 5) (fma (fabs x) 2 (fma 2/3 (* (fabs x) (* (fabs x) (fabs x))) (* (pow (fabs x) 7) 1/21)))))

simplify3.1s

Counts
118 → 118
Iterations
IterNodes
33912
2902
1343
0180

prune2.2s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize104.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) (fabs x)) (fabs x)))
0.1b
(* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))
0.1b
(* (sqrt (/ 1 PI)) (fma (fabs x) 2 (fma (* (* (fabs x) (fabs x)) (fabs x)) 2/3 (* 1/21 (* (fabs x) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))))))))

rewrite269.0ms

Algorithm
rewrite-expression-head
Rules
689×pow1
353×pow-prod-up
230×pow-plus
110×pow-prod-down
105×pow-sqr
72×pow2
68×add-cbrt-cube add-exp-log
46×prod-exp cbrt-unprod
27×pow3
24×add-sqr-sqrt
19×associate-*l*
16×sqrt-prod
15×*-un-lft-identity
14×add-cube-cbrt
11×times-frac
8×associate-*r*
5×unswap-sqr
4×expm1-log1p-u *-commutative insert-posit16 log1p-expm1-u add-log-exp
2×fma-udef
1×distribute-rgt-in distribute-lft-in sqrt-div swap-sqr associate-*l/ div-inv
Counts
4 → 332
Calls
4 calls:
35.0ms
(* (* (fabs x) (fabs x)) (fabs x))
85.0ms
(* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))
113.0ms
(* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))
17.0ms
(* (sqrt (/ 1 PI)) (fma (fabs x) 2 (fma (* (* (fabs x) (fabs x)) (fabs x)) 2/3 (* 1/21 (* (fabs x) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))))))))

series424.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(* (* (fabs x) (fabs x)) (fabs x))
69.0ms
(* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))
51.0ms
(* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))
276.0ms
(* (sqrt (/ 1 PI)) (fma (fabs x) 2 (fma (* (* (fabs x) (fabs x)) (fabs x)) 2/3 (* 1/21 (* (fabs x) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))))))))

simplify2.8s

Counts
344 → 344
Iterations
IterNodes
34019
21269
1518
0206

prune6.1s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize105.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.1b
(* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))
0.1b
(* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))

rewrite288.0ms

Algorithm
rewrite-expression-head
Rules
706×pow1
359×pow-prod-up
236×pow-plus
112×pow-prod-down
107×pow-sqr
74×pow2
71×add-cbrt-cube add-exp-log
48×prod-exp cbrt-unprod
28×pow3
8×add-sqr-sqrt associate-*r*
6×*-un-lft-identity add-cube-cbrt
4×expm1-log1p-u associate-*l* *-commutative insert-posit16 log1p-expm1-u add-log-exp
2×unswap-sqr
1×swap-sqr
Counts
4 → 323
Calls
4 calls:
33.0ms
(* (* (fabs x) (fabs x)) (fabs x))
32.0ms
(* (* (fabs x) (fabs x)) (fabs x))
101.0ms
(* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))
106.0ms
(* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))

series205.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(* (* (fabs x) (fabs x)) (fabs x))
29.0ms
(* (* (fabs x) (fabs x)) (fabs x))
69.0ms
(* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))
61.0ms
(* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))

simplify3.1s

Counts
335 → 335
Iterations
IterNodes
44116
31867
2676
1306
0120

prune5.9s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

regimes210.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations
IterNodes
225
125
022

end0.0ms

sample5.5s

Algorithm
intervals
Results
5.2s13996×body80valid