Details

Time bar (total: 15.7s)

sample44.0ms

Algorithm
intervals
Results
28.0ms422×body80valid

simplify1.1s

Counts
1 → 1
Iterations

Useful iterations: 3 (74.0ms)

IterNodesCost
02867
16967
222148
379537
4260737
done500037

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite5.2s

Algorithm
rewrite-expression-head
Rules
147×add-exp-log add-cbrt-cube
98×prod-exp cbrt-unprod
69×pow1
49×pow-prod-down
39×associate-*l*
27×add-sqr-sqrt times-frac
26×add-cube-cbrt *-un-lft-identity
15×cbrt-undiv div-exp
4×add-log-exp
3×associate-*r* associate-*l/ sqrt-prod *-commutative div-inv
1×rem-sqrt-square sqrt-pow1 pow1/2
Counts
4 → 157
Calls
4 calls:
4.8s
(* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
314.0ms
(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
29.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
1.0ms
(sqrt PI)

series183.0ms

Counts
4 → 10
Calls
4 calls:
74.0ms
(* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
63.0ms
(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
46.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify1.4s

Counts
167 → 167
Iterations

Useful iterations: 2 (330.0ms)

IterNodesCost
02974429
19453002
234321751
done50001751

prune496.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite357.0ms

Algorithm
rewrite-expression-head
Rules
75×add-exp-log add-cbrt-cube
53×pow1
45×prod-exp cbrt-unprod
27×associate-*l*
24×pow-prod-down
22×add-sqr-sqrt
20×add-cube-cbrt *-un-lft-identity
18×times-frac
8×cbrt-undiv div-exp
6×pow-plus pow-prod-up
5×associate-*r*
4×add-log-exp
3×sqrt-prod *-commutative
2×pow2 associate-*l/ pow-sqr div-inv
1×rem-sqrt-square sqrt-pow1 pow1/2 pow3 unswap-sqr
Counts
4 → 127
Calls
4 calls:
8.0ms
(* (* (fabs x) (fabs x)) (fabs x))
315.0ms
(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
28.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
1.0ms
(sqrt PI)

series134.0ms

Counts
4 → 10
Calls
4 calls:
28.0ms
(* (* (fabs x) (fabs x)) (fabs x))
58.0ms
(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
48.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify836.0ms

Counts
137 → 137
Iterations

Useful iterations: 2 (191.0ms)

IterNodesCost
02172435
16271714
222421166
done50001166

prune436.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite361.0ms

Algorithm
rewrite-expression-head
Rules
75×add-exp-log add-cbrt-cube
53×pow1
45×prod-exp cbrt-unprod
27×associate-*l*
24×pow-prod-down
22×add-sqr-sqrt
20×add-cube-cbrt *-un-lft-identity
18×times-frac
8×cbrt-undiv div-exp
6×pow-plus pow-prod-up
5×associate-*r*
4×add-log-exp
3×sqrt-prod *-commutative
2×pow2 associate-*l/ pow-sqr div-inv
1×rem-sqrt-square sqrt-pow1 pow1/2 pow3 unswap-sqr
Counts
4 → 127
Calls
4 calls:
8.0ms
(* (* (fabs x) (fabs x)) (fabs x))
317.0ms
(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
28.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
1.0ms
(sqrt PI)

series135.0ms

Counts
4 → 10
Calls
4 calls:
27.0ms
(* (* (fabs x) (fabs x)) (fabs x))
63.0ms
(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
45.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify883.0ms

Counts
137 → 137
Iterations

Useful iterations: 2 (207.0ms)

IterNodesCost
02212446
16411722
223361174
done50011174

prune538.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (pow (fabs x) 4) (/ 1.0 5.0))
0.2b
(/ 2.0 (/ 3.0 (pow (fabs x) 3)))
0.3b
(/ (+ (* (fabs x) (+ 2.0 (+ (* (pow (fabs x) 4) (/ 1.0 5.0)) (* (pow (fabs x) 6) (/ 1.0 21.0))))) (/ 2.0 (/ 3.0 (pow (fabs x) 3)))) (/ (sqrt PI) 1.0))
1.0b
(sqrt PI)

rewrite193.0ms

Algorithm
rewrite-expression-head
Rules
414×times-frac
232×add-sqr-sqrt
218×add-cube-cbrt *-un-lft-identity
62×associate-/r*
41×unpow-prod-down
39×sqrt-prod
36×cube-prod
32×add-exp-log
19×add-cbrt-cube
15×sqr-pow
13×div-exp associate-*r*
12×cube-mult unpow3
11×div-inv
7×cbrt-undiv associate-*l*
6×prod-exp associate-/l* unswap-sqr
5×pow1
4×associate-/l/ add-log-exp
3×pow-to-exp associate-*r/ pow-exp
2×frac-2neg flip3-+ frac-add clear-num associate-/r/ cbrt-unprod flip-+
1×rem-sqrt-square sqrt-pow1 pow1/2 *-commutative
Counts
4 → 346
Calls
4 calls:
10.0ms
(* (pow (fabs x) 4) (/ 1.0 5.0))
13.0ms
(/ 2.0 (/ 3.0 (pow (fabs x) 3)))
150.0ms
(/ (+ (* (fabs x) (+ 2.0 (+ (* (pow (fabs x) 4) (/ 1.0 5.0)) (* (pow (fabs x) 6) (/ 1.0 21.0))))) (/ 2.0 (/ 3.0 (pow (fabs x) 3)))) (/ (sqrt PI) 1.0))
1.0ms
(sqrt PI)

series422.0ms

Counts
4 → 10
Calls
4 calls:
49.0ms
(* (pow (fabs x) 4) (/ 1.0 5.0))
44.0ms
(/ 2.0 (/ 3.0 (pow (fabs x) 3)))
330.0ms
(/ (+ (* (fabs x) (+ 2.0 (+ (* (pow (fabs x) 4) (/ 1.0 5.0)) (* (pow (fabs x) 6) (/ 1.0 21.0))))) (/ 2.0 (/ 3.0 (pow (fabs x) 3)))) (/ (sqrt PI) 1.0))
0.0ms
(sqrt PI)

simplify472.0ms

Counts
356 → 356
Iterations

Useful iterations: done (454.0ms)

IterNodesCost
061711246
1149110469
done500110369

prune1.3s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes71.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02954
14154
done4154

end0.0ms

sample1.1s

Algorithm
intervals
Results
930.0ms13912×body80valid