Details

Time bar (total: 42.6s)

sample190.0ms

Algorithm
intervals
Results
158.0ms487×body80valid

simplify2.4s

Counts
1 → 1
Iterations
IterNodes
44293
31082
2238
172
028

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize87.0ms

Local error

Found 4 expressions with local error:

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

rewrite748.0ms

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

series158.0ms

Counts
4 → 10
Calls
4 calls:
26.0ms
(* (* (fabs x) (fabs x)) (fabs x))
65.0ms
(* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
66.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify890.0ms

Counts
151 → 151
Iterations
IterNodes
22028
1628
0226

prune3.1s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize80.0ms

Local error

Found 4 expressions with local error:

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

rewrite777.0ms

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

series165.0ms

Counts
4 → 10
Calls
4 calls:
33.0ms
(* (* (fabs x) (fabs x)) (fabs x))
80.0ms
(* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
51.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify4.9s

Counts
151 → 151
Iterations
IterNodes
36526
21874
1589
0214

prune3.0s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize157.0ms

Local error

Found 4 expressions with local error:

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

rewrite89.0ms

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

series123.0ms

Counts
4 → 10
Calls
4 calls:
33.0ms
(* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))
41.0ms
(* (fabs x) (sqrt (fabs x)))
49.0ms
(* (fabs x) (sqrt (fabs x)))
0.0ms
(sqrt PI)

simplify1.6s

Counts
122 → 122
Iterations
IterNodes
42790
31250
2477
1210
085

prune2.4s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

localize115.0ms

Local error

Found 4 expressions with local error:

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

rewrite507.0ms

Algorithm
rewrite-expression-head
Rules
600×pow1
347×sqrt-pow1
298×pow-prod-up
201×pow-plus
102×pow-prod-down
92×pow-sqr
57×pow2
24×pow3
15×pow1/2
12×add-sqr-sqrt
9×*-un-lft-identity add-cube-cbrt sqrt-prod
6×add-cbrt-cube add-exp-log
4×swap-sqr associate-*r* associate-*l* insert-posit16 add-log-exp
1×rem-sqrt-square rem-square-sqrt sqrt-unprod prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 256
Calls
4 calls:
469.0ms
(* (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))))
1.0ms
(sqrt PI)
10.0ms
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
10.0ms
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))

series173.0ms

Counts
4 → 10
Calls
4 calls:
35.0ms
(* (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))))
0.0ms
(sqrt PI)
63.0ms
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
75.0ms
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))

simplify9.5s

Counts
266 → 266
Iterations
IterNodes
411767
31594
2360
1168
095

prune5.2s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

regimes120.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify13.0ms

Iterations
IterNodes
249
149
031

end0.0ms

sample6.0s

Algorithm
intervals
Results
5.7s13958×body80valid