Details

Time bar (total: 6.4s)

sample79.0ms

Algorithm
intervals
Results
58.0ms440×body80valid

simplify113.0ms

Counts
1 → 1

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize33.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
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
1.0b
(sqrt PI)

rewrite125.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:
19.0ms
(* (* (fabs x) (fabs x)) (fabs x))
22.0ms
(* (* (fabs x) (fabs x)) (fabs x))
78.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
1.0ms
(sqrt PI)

series108.0ms

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

simplify43.0ms

Counts
117 → 117

prune413.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize48.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* (fabs x) (fabs x)) (fabs x))
0.1b
(* (/ 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)

rewrite102.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))
68.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
7.0ms
(* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))
1.0ms
(sqrt PI)

series94.0ms

Counts
4 → 10
Calls
4 calls:
30.0ms
(* (* (fabs x) (fabs x)) (fabs x))
45.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
19.0ms
(* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))
0.0ms
(sqrt PI)

simplify52.0ms

Counts
114 → 114

prune493.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.1b

localize47.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (fabs x) (sqrt (fabs x)))
0.2b
(* (fabs x) (sqrt (fabs x)))
0.2b
(* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))
1.0b
(sqrt PI)

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
78×pow1
29×pow-prod-up
28×add-sqr-sqrt
22×pow-prod-down
20×add-exp-log add-cbrt-cube
13×associate-*r*
11×add-cube-cbrt *-un-lft-identity sqrt-pow1 pow1/2 sqrt-prod
10×prod-exp cbrt-unprod
8×pow3
7×associate-*l* pow-sqr
4×add-log-exp unswap-sqr
3×*-commutative
2×pow-plus
1×pow2 rem-sqrt-square swap-sqr
Counts
4 → 108
Calls
4 calls:
10.0ms
(* (fabs x) (sqrt (fabs x)))
14.0ms
(* (fabs x) (sqrt (fabs x)))
39.0ms
(* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))
1.0ms
(sqrt PI)

series112.0ms

Counts
4 → 10
Calls
4 calls:
40.0ms
(* (fabs x) (sqrt (fabs x)))
43.0ms
(* (fabs x) (sqrt (fabs x)))
28.0ms
(* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))
0.0ms
(sqrt PI)

simplify167.0ms

Counts
118 → 118

prune455.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.1b

localize58.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* (* (fabs (cbrt (fabs x))) (fabs x)) (sqrt (cbrt (fabs x)))) (* (fabs x) (sqrt (fabs x))))
0.6b
(cbrt (fabs x))
0.6b
(cbrt (fabs x))
1.0b
(sqrt PI)

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
26×pow1
25×add-exp-log add-cbrt-cube
15×pow-prod-down prod-exp cbrt-unprod
8×add-sqr-sqrt
7×add-cube-cbrt *-un-lft-identity
6×cbrt-prod
4×add-log-exp
3×sqrt-prod
2×pow1/3
1×rem-sqrt-square sqrt-pow1 pow1/2 associate-*r* associate-*l* *-commutative
Counts
4 → 63
Calls
4 calls:
81.0ms
(* (* (* (fabs (cbrt (fabs x))) (fabs x)) (sqrt (cbrt (fabs x)))) (* (fabs x) (sqrt (fabs x))))
1.0ms
(cbrt (fabs x))
1.0ms
(cbrt (fabs x))
1.0ms
(sqrt PI)

series405.0ms

Counts
4 → 10
Calls
4 calls:
176.0ms
(* (* (* (fabs (cbrt (fabs x))) (fabs x)) (sqrt (cbrt (fabs x)))) (* (fabs x) (sqrt (fabs x))))
117.0ms
(cbrt (fabs x))
112.0ms
(cbrt (fabs x))
0.0ms
(sqrt PI)

simplify48.0ms

Counts
73 → 73

prune394.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.1b

regimes86.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.7s

Algorithm
intervals
Results
2.4s14049×body80valid