Details

Time bar (total: 4.7s)

sample55.0ms

Algorithm
intervals
Results
37.0ms469×body80valid

simplify113.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
07042
125242
2105942
3471342
4500142
done500142

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize24.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)

rewrite101.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 expm1-log1p-u pow-sqr log1p-expm1-u 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 → 115
Calls
4 calls:
19.0ms
(* (* (fabs x) (fabs x)) (fabs x))
18.0ms
(* (* (fabs x) (fabs x)) (fabs x))
59.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
1.0ms
(sqrt PI)

series97.0ms

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

simplify44.0ms

Counts
125 → 125
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
0348647
11405470
25001462
done5001462

prune401.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite65.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×expm1-log1p-u log1p-expm1-u add-log-exp unswap-sqr
3×*-commutative
2×pow-plus
1×pow2 rem-sqrt-square swap-sqr
Counts
4 → 116
Calls
4 calls:
10.0ms
(* (fabs x) (sqrt (fabs x)))
9.0ms
(* (fabs x) (sqrt (fabs x)))
41.0ms
(* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))
1.0ms
(sqrt PI)

series104.0ms

Counts
4 → 10
Calls
4 calls:
37.0ms
(* (fabs x) (sqrt (fabs x)))
37.0ms
(* (fabs x) (sqrt (fabs x)))
30.0ms
(* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))
0.0ms
(sqrt PI)

simplify161.0ms

Counts
126 → 126
Iterations

Useful iterations: 2 (29.0ms)

IterNodesCost
0193529
1672400
23652362
35001362
done5001362

prune456.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize32.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (fabs x) (sqrt (fabs x)))
0.3b
(* (* (fabs x) (sqrt (fabs x))) (sqrt (pow (fabs x) 3)))
1.0b
(sqrt PI)
13.4b
(sqrt (pow (fabs x) 3))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
31×sqrt-prod
24×add-sqr-sqrt
21×associate-*r*
18×pow1
15×add-cube-cbrt *-un-lft-identity
11×add-exp-log add-cbrt-cube
7×unpow-prod-down cube-prod
6×sqrt-pow1 pow-prod-up
5×rem-sqrt-square
4×expm1-log1p-u pow1/2 associate-*l* pow-prod-down prod-exp cbrt-unprod log1p-expm1-u add-log-exp
3×sqr-pow
2×cube-mult unpow3 *-commutative unswap-sqr
1×pow3
Counts
4 → 103
Calls
4 calls:
9.0ms
(* (fabs x) (sqrt (fabs x)))
30.0ms
(* (* (fabs x) (sqrt (fabs x))) (sqrt (pow (fabs x) 3)))
1.0ms
(sqrt PI)
8.0ms
(sqrt (pow (fabs x) 3))

series104.0ms

Counts
4 → 10
Calls
4 calls:
37.0ms
(* (fabs x) (sqrt (fabs x)))
26.0ms
(* (* (fabs x) (sqrt (fabs x))) (sqrt (pow (fabs x) 3)))
0.0ms
(sqrt PI)
42.0ms
(sqrt (pow (fabs x) 3))

simplify51.0ms

Counts
113 → 113
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
0238563
11233497
25001494
done5001494

prune529.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.1b

localize42.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow (fabs x) 3))))
0.5b
(pow (sqrt (fabs x)) 3)
1.0b
(sqrt PI)
31.9b
(cbrt (pow (fabs x) 3))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
24×cbrt-prod sqrt-prod
19×add-sqr-sqrt
18×add-cube-cbrt *-un-lft-identity associate-*r*
15×add-exp-log
12×unpow-prod-down cube-prod
10×add-cbrt-cube
9×pow1
7×prod-exp
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cube-mult pow-unpow pow-pow unpow3 cbrt-unprod sqr-pow
2×pow-to-exp sqrt-pow1 pow1/2 pow-exp
1×rem-sqrt-square pow1/3 associate-*l* pow-prod-down *-commutative sqrt-pow2 rem-cbrt-cube rem-cube-cbrt
Counts
4 → 108
Calls
4 calls:
37.0ms
(* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow (fabs x) 3))))
4.0ms
(pow (sqrt (fabs x)) 3)
1.0ms
(sqrt PI)
2.0ms
(cbrt (pow (fabs x) 3))

series67.0ms

Counts
4 → 10
Calls
4 calls:
27.0ms
(* (* (pow (sqrt (fabs x)) 3) (fabs (fabs x))) (sqrt (cbrt (pow (fabs x) 3))))
37.0ms
(pow (sqrt (fabs x)) 3)
0.0ms
(sqrt PI)
2.0ms
(cbrt (pow (fabs x) 3))

simplify81.0ms

Counts
118 → 118
Iterations

Useful iterations: 2 (73.0ms)

IterNodesCost
0392776
12212667
25001620
done5001620

prune546.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.1b

regimes257.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05345
15345
done5345

end0.0ms

sample1.2s

Algorithm
intervals
Results
967.0ms14098×body80valid