Details

Time bar (total: 8.2s)

sample100.0ms

Algorithm
intervals
Results
70.0ms445×body80valid

simplify112.0ms

Counts
1 → 1

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize64.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.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
1.0b
(sqrt PI)

rewrite163.0ms

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

series172.0ms

Counts
4 → 10
Calls
4 calls:
34.0ms
(* (* (fabs x) (fabs x)) (fabs x))
52.0ms
(* (* (fabs x) (fabs x)) (fabs x))
85.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify40.0ms

Counts
117 → 117

prune605.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize69.0ms

Local error

Found 4 expressions with local error:

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

rewrite150.0ms

Algorithm
rewrite-expression-head
Rules
40×pow1
32×add-exp-log add-cbrt-cube
21×add-sqr-sqrt
17×add-cube-cbrt *-un-lft-identity associate-*l*
16×prod-exp cbrt-unprod
10×pow-prod-down
9×times-frac
7×pow-plus associate-*r* pow-prod-up
4×add-log-exp
3×cbrt-undiv pow2 swap-sqr div-exp sqrt-prod pow-sqr *-commutative
2×unswap-sqr
1×rem-sqrt-square sqrt-pow1 pow1/2 pow3 associate-*l/ div-inv
Counts
4 → 104
Calls
4 calls:
19.0ms
(* (* (fabs x) (fabs x)) (fabs x))
109.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
15.0ms
(* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))
2.0ms
(sqrt PI)

series143.0ms

Counts
4 → 10
Calls
4 calls:
47.0ms
(* (* (fabs x) (fabs x)) (fabs x))
75.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
22.0ms
(* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))
0.0ms
(sqrt PI)

simplify52.0ms

Counts
114 → 114

prune754.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.1b

localize54.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* (fabs x) (fabs x)) (sqrt (fabs x)))
0.1b
(* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))
0.2b
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
1.0b
(sqrt PI)

rewrite232.0ms

Algorithm
rewrite-expression-head
Rules
78×pow1
46×pow-prod-up
39×add-exp-log add-cbrt-cube
21×sqrt-pow1 pow1/2 prod-exp cbrt-unprod
19×add-sqr-sqrt
16×add-cube-cbrt *-un-lft-identity
15×associate-*l* pow-prod-down
13×associate-*r*
10×sqrt-prod
9×times-frac
6×pow2 pow-plus pow-sqr
4×add-log-exp
3×cbrt-undiv div-exp *-commutative
2×unswap-sqr
1×rem-sqrt-square associate-*l/ div-inv
Counts
4 → 122
Calls
4 calls:
22.0ms
(* (* (fabs x) (fabs x)) (sqrt (fabs x)))
90.0ms
(* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))
108.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
3.0ms
(sqrt PI)

series151.0ms

Counts
4 → 10
Calls
4 calls:
68.0ms
(* (* (fabs x) (fabs x)) (sqrt (fabs x)))
30.0ms
(* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))
52.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify73.0ms

Counts
132 → 132

prune713.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.1b

localize75.0ms

Local error

Found 4 expressions with local error:

0.3b
(pow (sqrt (fabs (pow (fabs x) 3/2))) 3)
1.0b
(sqrt PI)
20.2b
(sqrt (fabs (pow (fabs x) 3/2)))
20.2b
(sqrt (fabs (pow (fabs x) 3/2)))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt sqrt-prod
12×add-cube-cbrt *-un-lft-identity
9×pow1
6×unpow-prod-down cube-prod
5×add-exp-log add-cbrt-cube
4×sqrt-pow1 pow1/2 add-log-exp
3×rem-sqrt-square pow-unpow pow-pow
1×cube-mult pow-to-exp unpow3 pow-exp sqrt-pow2 rem-cube-cbrt sqr-pow
Counts
4 → 71
Calls
4 calls:
7.0ms
(pow (sqrt (fabs (pow (fabs x) 3/2))) 3)
2.0ms
(sqrt PI)
2.0ms
(sqrt (fabs (pow (fabs x) 3/2)))
2.0ms
(sqrt (fabs (pow (fabs x) 3/2)))

series123.0ms

Counts
4 → 10
Calls
4 calls:
77.0ms
(pow (sqrt (fabs (pow (fabs x) 3/2))) 3)
0.0ms
(sqrt PI)
22.0ms
(sqrt (fabs (pow (fabs x) 3/2)))
24.0ms
(sqrt (fabs (pow (fabs x) 3/2)))

simplify31.0ms

Counts
81 → 81

prune536.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0.1b

regimes285.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify119.0ms

end0.0ms

sample3.3s

Algorithm
intervals
Results
3.0s14013×body80valid