Details

Time bar (total: 24.4s)

sample116.0ms

Algorithm
intervals
Results
84.0ms424×body80valid

simplify2.1s

Counts
1 → 1
Iterations
IterNodes
done5000
31089
2240
174
028

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

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

rewrite154.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:
24.0ms
(* (* (fabs x) (fabs x)) (fabs x))
25.0ms
(* (* (fabs x) (fabs x)) (fabs x))
98.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
1.0ms
(sqrt PI)

series127.0ms

Counts
4 → 10
Calls
4 calls:
40.0ms
(* (* (fabs x) (fabs x)) (fabs x))
27.0ms
(* (* (fabs x) (fabs x)) (fabs x))
60.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify3.7s

Counts
121 → 121
Iterations
IterNodes
done5007
34418
21255
1352
0130

prune760.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

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

rewrite204.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:
37.0ms
(* (* (fabs x) (fabs x)) (fabs x))
37.0ms
(* (* (fabs x) (fabs x)) (fabs x))
120.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
2.0ms
(sqrt PI)

series136.0ms

Counts
4 → 10
Calls
4 calls:
33.0ms
(* (* (fabs x) (fabs x)) (fabs x))
26.0ms
(* (* (fabs x) (fabs x)) (fabs x))
76.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify3.4s

Counts
121 → 121
Iterations
IterNodes
done5000
34724
21265
1356
0132

prune770.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize77.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)
17.3b
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
17.3b
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))

rewrite215.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:
161.0ms
(* (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))))
1.0ms
(sqrt PI)
13.0ms
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
14.0ms
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))

series189.0ms

Counts
4 → 10
Calls
4 calls:
48.0ms
(* (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))))
0.0ms
(sqrt PI)
64.0ms
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
76.0ms
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))

simplify2.3s

Counts
266 → 266
Iterations
IterNodes
done5011
31522
2376
1182
095

prune871.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize158.0ms

Local error

Found 4 expressions with local error:

17.3b
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
17.3b
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
17.3b
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
23.7b
(cbrt (* (* (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (fabs x)))))

rewrite924.0ms

Algorithm
rewrite-expression-head
Rules
64×pow1
36×sqrt-pow1
18×pow-plus pow-prod-up
9×pow-prod-down
6×pow2 pow-sqr
4×add-sqr-sqrt *-un-lft-identity add-cbrt-cube pow3 add-exp-log add-cube-cbrt insert-posit16 add-log-exp
3×pow1/2 sqrt-prod
1×cbrt-prod pow1/3 rem-cbrt-cube
Counts
4 → 77
Calls
4 calls:
14.0ms
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
13.0ms
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
14.0ms
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
880.0ms
(cbrt (* (* (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (fabs x)))))

series197.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
45.0ms
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
57.0ms
(sqrt (* (* (fabs x) (fabs x)) (fabs x)))
52.0ms
(cbrt (* (* (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (fabs x)))))

simplify3.0s

Counts
89 → 89
Iterations
IterNodes
done5000
72382
6714
5323
4190
3102
274
157
040

prune731.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes277.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify13.0ms

Iterations
IterNodes
done46
146
028

end0.0ms

sample3.7s

Algorithm
intervals
Results
3.5s14001×body80valid