Details

Time bar (total: 4.4s)

sample47.0ms

Algorithm
intervals
Results
30.0ms457×body80valid

simplify106.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
06942
123142
290042
3375342
4500142
done500142

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

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

rewrite103.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:
18.0ms
(* (* (fabs x) (fabs x)) (fabs x))
18.0ms
(* (* (fabs x) (fabs x)) (fabs x))
60.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
1.0ms
(sqrt PI)

series101.0ms

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

simplify42.0ms

Counts
117 → 117
Iterations

Useful iterations: 2 (35.0ms)

IterNodesCost
0340603
11373426
25002425
done5002425

prune370.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

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

rewrite93.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))
62.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)

series93.0ms

Counts
4 → 10
Calls
4 calls:
31.0ms
(* (* (fabs x) (fabs x)) (fabs x))
44.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
18.0ms
(* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))
0.0ms
(sqrt PI)

simplify48.0ms

Counts
114 → 114
Iterations

Useful iterations: 2 (41.0ms)

IterNodesCost
0405670
11675507
25001448
done5001448

prune437.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.1b

localize44.0ms

Local error

Found 4 expressions with local error:

0.4b
(pow (sqrt (fabs (pow (fabs x) 3/2))) 3)
1.0b
(sqrt PI)
16.3b
(sqrt (fabs (pow (fabs x) 3/2)))
16.3b
(sqrt (fabs (pow (fabs x) 3/2)))

rewrite9.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:
4.0ms
(pow (sqrt (fabs (pow (fabs x) 3/2))) 3)
1.0ms
(sqrt PI)
1.0ms
(sqrt (fabs (pow (fabs x) 3/2)))
1.0ms
(sqrt (fabs (pow (fabs x) 3/2)))

series69.0ms

Counts
4 → 10
Calls
4 calls:
42.0ms
(pow (sqrt (fabs (pow (fabs x) 3/2))) 3)
0.0ms
(sqrt PI)
13.0ms
(sqrt (fabs (pow (fabs x) 3/2)))
14.0ms
(sqrt (fabs (pow (fabs x) 3/2)))

simplify42.0ms

Counts
81 → 81
Iterations

Useful iterations: 2 (30.0ms)

IterNodesCost
0210453
1793417
25001409
done5001409

prune375.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.1b

localize38.0ms

Local error

Found 4 expressions with local error:

0.2b
(pow (fabs (pow (fabs x) 3/2)) 3)
1.0b
(sqrt PI)
12.3b
(sqrt (pow (fabs (pow (fabs x) 3/2)) 3))
16.3b
(sqrt (fabs (pow (fabs x) 3/2)))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
18×sqrt-prod
17×add-sqr-sqrt
12×add-cube-cbrt *-un-lft-identity
7×pow1 unpow-prod-down cube-prod
6×rem-sqrt-square
5×add-exp-log add-cbrt-cube
4×add-log-exp
3×pow-unpow sqrt-pow1 pow1/2 sqr-pow
2×cube-mult unpow3
1×pow-to-exp pow-pow pow-exp rem-cube-cbrt
Counts
4 → 74
Calls
4 calls:
3.0ms
(pow (fabs (pow (fabs x) 3/2)) 3)
1.0ms
(sqrt PI)
4.0ms
(sqrt (pow (fabs (pow (fabs x) 3/2)) 3))
1.0ms
(sqrt (fabs (pow (fabs x) 3/2)))

series97.0ms

Counts
4 → 10
Calls
4 calls:
32.0ms
(pow (fabs (pow (fabs x) 3/2)) 3)
0.0ms
(sqrt PI)
51.0ms
(sqrt (pow (fabs (pow (fabs x) 3/2)) 3))
14.0ms
(sqrt (fabs (pow (fabs x) 3/2)))

simplify158.0ms

Counts
84 → 84
Iterations

Useful iterations: 2 (19.0ms)

IterNodesCost
0124428
1446400
23334391
35001391
done5001391

prune582.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.1b

regimes237.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04142
14142
done4142

end0.0ms

sample1.2s

Algorithm
intervals
Results
966.0ms14141×body80valid