Details

Time bar (total: 1.3m)

sample154.0ms

Algorithm
intervals
Results
129.0ms457×body80valid

simplify553.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
553.0ms
(fabs (* (/ 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))))))

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize88.0ms

Local error

Found 4 expressions with local error:

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

rewrite139.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:
Slowest
91.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
30.0ms
(* (* (fabs x) (fabs x)) (fabs x))
15.0ms
(* (* (fabs x) (fabs x)) (fabs x))
1.0ms
(sqrt PI)

series119.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
52.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
36.0ms
(* (* (fabs x) (fabs x)) (fabs x))
31.0ms
(* (* (fabs x) (fabs x)) (fabs x))
0.0ms
(sqrt PI)

simplify6.9s

Counts
92 → 129
Calls
92 calls:
Slowest
574.0ms
(* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))
531.0ms
(fabs (* (/ 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))))))
498.0ms
(* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))
424.0ms
(* (* (* (/ 2 3) (/ 2 3)) (/ 2 3)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
393.0ms
(* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))

prune2.4s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize78.0ms

Local error

Found 4 expressions with local error:

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

rewrite73.0ms

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

series375.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
298.0ms
(/ (fma (fabs x) (fma 2/3 (* (fabs x) (fabs x)) 2) (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (+ (* (* (fabs x) (fabs x)) 1/21) 1/5))) (sqrt PI))
51.0ms
(* (* (fabs x) (fabs x)) 1/21)
26.0ms
(* (* (fabs x) (fabs x)) (fabs x))
0.0ms
(sqrt PI)

simplify17.1s

Counts
96 → 121
Calls
96 calls:
Slowest
778.0ms
(/ (cbrt (fma (fabs x) (fma 2/3 (* (fabs x) (fabs x)) 2) (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (+ (* (* (fabs x) (fabs x)) 1/21) 1/5)))) (sqrt PI))
566.0ms
(* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))
550.0ms
(/ (sqrt (fma (fabs x) (fma 2/3 (* (fabs x) (fabs x)) 2) (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (+ (* (* (fabs x) (fabs x)) 1/21) 1/5)))) 1)
515.0ms
(/ (fma (fabs x) (fma 2/3 (* (fabs x) (fabs x)) 2) (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (+ (* (* (fabs x) (fabs x)) 1/21) 1/5))) (sqrt (sqrt PI)))
511.0ms
(/ (sqrt (fma (fabs x) (fma 2/3 (* (fabs x) (fabs x)) 2) (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (+ (* (* (fabs x) (fabs x)) 1/21) 1/5)))) (sqrt PI))

prune1.6s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize60.0ms

Local error

Found 4 expressions with local error:

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

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
66×sqrt-prod
54×add-sqr-sqrt
51×times-frac
48×add-exp-log
38×*-un-lft-identity
35×add-cube-cbrt
31×associate-*l*
30×add-cbrt-cube
17×prod-exp
16×div-exp
13×associate-*r*
9×cbrt-undiv associate-/r* cbrt-unprod
8×pow1
7×unswap-sqr
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×rec-exp 1-exp div-inv
2×rem-sqrt-square sqrt-pow1 pow1/2
1×frac-times clear-num frac-2neg pow-prod-down associate-*l/ associate-*r/ *-commutative associate-/l*
Counts
4 → 152
Calls
4 calls:
Slowest
53.0ms
(* (/ 1 (sqrt (sqrt PI))) (/ (* (fabs x) (fma (* (* (fabs x) (fabs x)) (fma (* (fabs x) (fabs x)) 1/21 1/5)) (* (fabs x) (fabs x)) (fma 2/3 (* (fabs x) (fabs x)) 2))) (sqrt (sqrt PI))))
21.0ms
(/ (* (fabs x) (fma (* (* (fabs x) (fabs x)) (fma (* (fabs x) (fabs x)) 1/21 1/5)) (* (fabs x) (fabs x)) (fma 2/3 (* (fabs x) (fabs x)) 2))) (sqrt (sqrt PI)))
3.0ms
(sqrt PI)
2.0ms
(sqrt PI)

series927.0ms

Counts
4 → 8
Calls
4 calls:
Slowest
612.0ms
(/ (* (fabs x) (fma (* (* (fabs x) (fabs x)) (fma (* (fabs x) (fabs x)) 1/21 1/5)) (* (fabs x) (fabs x)) (fma 2/3 (* (fabs x) (fabs x)) 2))) (sqrt (sqrt PI)))
315.0ms
(* (/ 1 (sqrt (sqrt PI))) (/ (* (fabs x) (fma (* (* (fabs x) (fabs x)) (fma (* (fabs x) (fabs x)) 1/21 1/5)) (* (fabs x) (fabs x)) (fma 2/3 (* (fabs x) (fabs x)) 2))) (sqrt (sqrt PI))))
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

simplify25.9s

Counts
127 → 160
Calls
127 calls:
Slowest
1.4s
(* (/ (* (* 1 1) 1) (* (* (sqrt (sqrt PI)) (sqrt (sqrt PI))) (sqrt (sqrt PI)))) (/ (* (* (* (fabs x) (fma (* (* (fabs x) (fabs x)) (fma (* (fabs x) (fabs x)) 1/21 1/5)) (* (fabs x) (fabs x)) (fma 2/3 (* (fabs x) (fabs x)) 2))) (* (fabs x) (fma (* (* (fabs x) (fabs x)) (fma (* (fabs x) (fabs x)) 1/21 1/5)) (* (fabs x) (fabs x)) (fma 2/3 (* (fabs x) (fabs x)) 2)))) (* (fabs x) (fma (* (* (fabs x) (fabs x)) (fma (* (fabs x) (fabs x)) 1/21 1/5)) (* (fabs x) (fabs x)) (fma 2/3 (* (fabs x) (fabs x)) 2)))) (* (* (sqrt (sqrt PI)) (sqrt (sqrt PI))) (sqrt (sqrt PI)))))
1.2s
(* (/ (* (* 1 1) 1) (* (* (sqrt (sqrt PI)) (sqrt (sqrt PI))) (sqrt (sqrt PI)))) (/ (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fma (* (* (fabs x) (fabs x)) (fma (* (fabs x) (fabs x)) 1/21 1/5)) (* (fabs x) (fabs x)) (fma 2/3 (* (fabs x) (fabs x)) 2)) (fma (* (* (fabs x) (fabs x)) (fma (* (fabs x) (fabs x)) 1/21 1/5)) (* (fabs x) (fabs x)) (fma 2/3 (* (fabs x) (fabs x)) 2))) (fma (* (* (fabs x) (fabs x)) (fma (* (fabs x) (fabs x)) 1/21 1/5)) (* (fabs x) (fabs x)) (fma 2/3 (* (fabs x) (fabs x)) 2)))) (* (* (sqrt (sqrt PI)) (sqrt (sqrt PI))) (sqrt (sqrt PI)))))
1.1s
(* (* (* (/ 1 (sqrt (sqrt PI))) (/ 1 (sqrt (sqrt PI)))) (/ 1 (sqrt (sqrt PI)))) (/ (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fma (* (* (fabs x) (fabs x)) (fma (* (fabs x) (fabs x)) 1/21 1/5)) (* (fabs x) (fabs x)) (fma 2/3 (* (fabs x) (fabs x)) 2)) (fma (* (* (fabs x) (fabs x)) (fma (* (fabs x) (fabs x)) 1/21 1/5)) (* (fabs x) (fabs x)) (fma 2/3 (* (fabs x) (fabs x)) 2))) (fma (* (* (fabs x) (fabs x)) (fma (* (fabs x) (fabs x)) 1/21 1/5)) (* (fabs x) (fabs x)) (fma 2/3 (* (fabs x) (fabs x)) 2)))) (* (* (sqrt (sqrt PI)) (sqrt (sqrt PI))) (sqrt (sqrt PI)))))
873.0ms
(* (* (* (/ 1 (sqrt (sqrt PI))) (/ 1 (sqrt (sqrt PI)))) (/ 1 (sqrt (sqrt PI)))) (/ (* (* (* (fabs x) (fma (* (* (fabs x) (fabs x)) (fma (* (fabs x) (fabs x)) 1/21 1/5)) (* (fabs x) (fabs x)) (fma 2/3 (* (fabs x) (fabs x)) 2))) (* (fabs x) (fma (* (* (fabs x) (fabs x)) (fma (* (fabs x) (fabs x)) 1/21 1/5)) (* (fabs x) (fabs x)) (fma 2/3 (* (fabs x) (fabs x)) 2)))) (* (fabs x) (fma (* (* (fabs x) (fabs x)) (fma (* (fabs x) (fabs x)) 1/21 1/5)) (* (fabs x) (fabs x)) (fma 2/3 (* (fabs x) (fabs x)) 2)))) (* (* (sqrt (sqrt PI)) (sqrt (sqrt PI))) (sqrt (sqrt PI)))))
649.0ms
(* (/ 1 (sqrt (sqrt (sqrt PI)))) (sqrt (/ (* (fabs x) (fma (* (* (fabs x) (fabs x)) (fma (* (fabs x) (fabs x)) 1/21 1/5)) (* (fabs x) (fabs x)) (fma 2/3 (* (fabs x) (fabs x)) 2))) (sqrt (sqrt PI)))))

prune2.4s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize59.0ms

Local error

Found 4 expressions with local error:

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

rewrite71.0ms

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

series391.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
307.0ms
(/ (fma (fabs x) (fma 2/3 (* (fabs x) (fabs x)) 2) (* (* (* (fabs x) (fabs x)) (pow (fabs x) 3)) (+ (* (* (fabs x) (fabs x)) 1/21) 1/5))) (sqrt PI))
45.0ms
(* (* (fabs x) (fabs x)) 1/21)
40.0ms
(* (* (fabs x) (fabs x)) (pow (fabs x) 3))
0.0ms
(sqrt PI)

simplify14.1s

Counts
108 → 130
Calls
108 calls:
Slowest
1.5s
(* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (pow (fabs x) 3) (pow (fabs x) 3)) (pow (fabs x) 3)))
769.0ms
(* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (pow (fabs x) 3) (pow (fabs x) 3)) (pow (fabs x) 3)))
366.0ms
(+ (log (* (fabs x) (fabs x))) (log (pow (fabs x) 3)))
324.0ms
(/ (* (* (fma (fabs x) (fma 2/3 (* (fabs x) (fabs x)) 2) (* (* (* (fabs x) (fabs x)) (pow (fabs x) 3)) (+ (* (* (fabs x) (fabs x)) 1/21) 1/5))) (fma (fabs x) (fma 2/3 (* (fabs x) (fabs x)) 2) (* (* (* (fabs x) (fabs x)) (pow (fabs x) 3)) (+ (* (* (fabs x) (fabs x)) 1/21) 1/5)))) (fma (fabs x) (fma 2/3 (* (fabs x) (fabs x)) 2) (* (* (* (fabs x) (fabs x)) (pow (fabs x) 3)) (+ (* (* (fabs x) (fabs x)) 1/21) 1/5)))) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)))
314.0ms
(* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* 1/21 1/21) 1/21))

prune1.8s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes300.0ms

Accuracy

0% (0.2b remaining)

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

bsearch17.0ms

end0.0ms

sample4.7s

Algorithm
intervals
Results
4.5s13938×body80valid