Details

Time bar (total: 19.7s)

sample198.0ms

Algorithm
intervals
Results
171.0ms430×body80valid

simplify1.8s

Counts
1 → 1
Iterations
IterNodes
done2001
42001
31089
2240
174
028

prune23.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize113.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 3) (* (* (fabs x) (fabs x)) (fabs x)))
1.0b
(sqrt PI)

rewrite96.0ms

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

series138.0ms

Counts
4 → 10
Calls
4 calls:
42.0ms
(* (* (fabs x) (fabs x)) (fabs x))
32.0ms
(* (* (fabs x) (fabs x)) (fabs x))
63.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify1.4s

Counts
121 → 121
Iterations
IterNodes
done2009
32009
21255
1352
0130

prune839.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize143.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (fabs x) (sqrt (fabs x)))
0.2b
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
0.2b
(* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))
1.0b
(sqrt PI)

rewrite106.0ms

Algorithm
rewrite-expression-head
Rules
82×pow1
39×add-cbrt-cube add-exp-log
27×add-sqr-sqrt pow-prod-down pow-prod-up
21×prod-exp cbrt-unprod
17×associate-*l*
15×*-un-lft-identity add-cube-cbrt
10×sqrt-pow1 pow1/2
9×times-frac
8×associate-*r*
7×pow3 pow-sqr sqrt-prod
4×insert-posit16 add-log-exp
3×cbrt-undiv div-exp *-commutative
2×pow-plus unswap-sqr
1×pow2 rem-sqrt-square swap-sqr associate-*l/ div-inv
Counts
4 → 125
Calls
4 calls:
8.0ms
(* (fabs x) (sqrt (fabs x)))
64.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
31.0ms
(* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))
2.0ms
(sqrt PI)

series143.0ms

Counts
4 → 10
Calls
4 calls:
45.0ms
(* (fabs x) (sqrt (fabs x)))
64.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
34.0ms
(* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))
0.0ms
(sqrt PI)

simplify1.5s

Counts
135 → 135
Iterations
IterNodes
done2005
32005
21321
1444
0156

prune890.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize132.0ms

Local error

Found 4 expressions with local error:

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

rewrite297.0ms

Algorithm
rewrite-expression-head
Rules
73×pow1
25×pow-prod-down pow-prod-up
21×add-exp-log
19×add-cbrt-cube
16×add-sqr-sqrt
11×prod-exp cbrt-unprod
10×pow3
9×sqrt-pow1 pow1/2
7×pow-sqr
6×*-un-lft-identity add-cube-cbrt
5×associate-*r*
4×insert-posit16 add-log-exp
3×sqrt-prod
2×cbrt-prod pow-plus associate-*l* *-commutative rem-cbrt-cube
1×pow2 rem-sqrt-square pow1/3 swap-sqr
Counts
4 → 92
Calls
4 calls:
119.0ms
(* (* (fabs x) (sqrt (fabs x))) (cbrt (* (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (fabs x) (sqrt (fabs x))))))
56.0ms
(* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))
2.0ms
(sqrt PI)
119.0ms
(cbrt (* (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (fabs x) (sqrt (fabs x)))))

series121.0ms

Counts
4 → 10
Calls
4 calls:
44.0ms
(* (* (fabs x) (sqrt (fabs x))) (cbrt (* (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (fabs x) (sqrt (fabs x))))))
31.0ms
(* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))
0.0ms
(sqrt PI)
46.0ms
(cbrt (* (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (fabs x) (sqrt (fabs x)))))

simplify1.5s

Counts
102 → 102
Iterations
IterNodes
done2012
42012
31175
2548
1236
093

prune733.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize131.0ms

Local error

Found 4 expressions with local error:

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

rewrite126.0ms

Algorithm
rewrite-expression-head
Rules
154×pow1
143×sqrt-pow1
108×pow-prod-up
87×pow1/2
68×add-sqr-sqrt
59×sqrt-prod
51×pow-prod-down
28×pow3
20×add-cbrt-cube add-exp-log
19×associate-*r*
16×pow-sqr
15×*-un-lft-identity add-cube-cbrt
13×associate-*l*
12×unswap-sqr
10×prod-exp cbrt-unprod
7×sqrt-unprod
4×insert-posit16 add-log-exp
3×*-commutative
2×pow-plus
1×pow2 rem-sqrt-square rem-square-sqrt swap-sqr
Counts
4 → 191
Calls
4 calls:
20.0ms
(* (sqrt (fabs x)) (sqrt (sqrt (fabs x))))
19.0ms
(* (sqrt (fabs x)) (sqrt (sqrt (fabs x))))
75.0ms
(* (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))))
7.0ms
(sqrt PI)

series436.0ms

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

simplify1.5s

Counts
201 → 201
Iterations
IterNodes
done2004
42004
31630
2669
1359
0132

prune1.1s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

regimes409.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify18.0ms

Iterations
IterNodes
done46
146
028

end0.0ms

sample5.8s

Algorithm
intervals
Results
5.5s14082×body80valid