Details

Time bar (total: 12.7s)

sample42.0ms

Algorithm
intervals
Results
23.0ms273×body80valid

simplify88.0ms

Counts
1 → 1
Iterations
IterNodes
done70
570
466
348
236
119
011

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 24.9b

localize39.0ms

Local error

Found 2 expressions with local error:

0.2b
(- (* b c) (* a d))
24.9b
(/ (- (* b c) (* a d)) (+ (* c c) (* d d)))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
4×add-cbrt-cube add-exp-log add-log-exp
3×associate-/r* associate-/l*
2×pow1 flip3-- associate-/r/ insert-posit16 flip-- associate-/l/
1×cbrt-undiv clear-num sub-neg frac-2neg flip3-+ diff-log div-sub div-exp flip-+ div-inv
Counts
2 → 46
Calls
2 calls:
12.0ms
(- (* b c) (* a d))
50.0ms
(/ (- (* b c) (* a d)) (+ (* c c) (* d d)))

series171.0ms

Counts
2 → 6
Calls
2 calls:
50.0ms
(- (* b c) (* a d))
120.0ms
(/ (- (* b c) (* a d)) (+ (* c c) (* d d)))

simplify2.4s

Counts
52 → 52
Iterations
IterNodes
done5004
32799
2837
1256
088

prune298.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 24.6b

localize30.0ms

Local error

Found 4 expressions with local error:

0.2b
(- (* b c) (* a d))
15.0b
(/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
29.3b
(sqrt (+ (* c c) (* d d)))
29.3b
(sqrt (+ (* c c) (* d d)))

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
21×*-un-lft-identity add-cube-cbrt
18×times-frac sqrt-prod
6×pow1 associate-/r* add-cbrt-cube sqrt-div add-exp-log add-log-exp
4×insert-posit16
3×flip3-+ flip-+ associate-/l*
2×rem-sqrt-square sqrt-pow1 flip3-- pow1/2 associate-/r/ flip-- associate-/l/
1×cbrt-undiv clear-num sub-neg frac-2neg diff-log div-sub div-exp div-inv
Counts
4 → 90
Calls
4 calls:
15.0ms
(- (* b c) (* a d))
55.0ms
(/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
15.0ms
(sqrt (+ (* c c) (* d d)))
8.0ms
(sqrt (+ (* c c) (* d d)))

series353.0ms

Counts
4 → 12
Calls
4 calls:
71.0ms
(- (* b c) (* a d))
171.0ms
(/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
54.0ms
(sqrt (+ (* c c) (* d d)))
57.0ms
(sqrt (+ (* c c) (* d d)))

simplify1.9s

Counts
102 → 102
Iterations
IterNodes
done5004
32496
2897
1311
0121

prune542.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 21.6b

localize32.0ms

Local error

Found 4 expressions with local error:

12.5b
(* (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) 1) (/ (cbrt (- (* b c) (* a d))) (+ (* c c) (* d d))))
15.6b
(cbrt (- (* b c) (* a d)))
15.6b
(cbrt (- (* b c) (* a d)))
15.6b
(cbrt (- (* b c) (* a d)))

rewrite156.0ms

Algorithm
rewrite-expression-head
Rules
43×add-sqr-sqrt
37×add-exp-log
33×times-frac
25×*-un-lft-identity
24×associate-*r*
22×add-cube-cbrt
21×cbrt-prod
18×add-cbrt-cube
14×prod-exp
13×div-exp
9×unswap-sqr
8×cbrt-unprod
7×cbrt-undiv associate-*l*
6×pow1 cbrt-div
4×1-exp insert-posit16 add-log-exp
3×flip3-- pow1/3 flip--
2×associate-/r/ div-inv
1×frac-times flip3-+ pow-prod-down associate-*l/ associate-*r/ *-commutative flip-+
Counts
4 → 111
Calls
4 calls:
128.0ms
(* (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) 1) (/ (cbrt (- (* b c) (* a d))) (+ (* c c) (* d d))))
6.0ms
(cbrt (- (* b c) (* a d)))
10.0ms
(cbrt (- (* b c) (* a d)))
6.0ms
(cbrt (- (* b c) (* a d)))

series534.0ms

Counts
4 → 12
Calls
4 calls:
106.0ms
(* (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) 1) (/ (cbrt (- (* b c) (* a d))) (+ (* c c) (* d d))))
128.0ms
(cbrt (- (* b c) (* a d)))
168.0ms
(cbrt (- (* b c) (* a d)))
132.0ms
(cbrt (- (* b c) (* a d)))

simplify1.8s

Counts
123 → 123
Iterations
IterNodes
done5001
21939
1695
0205

prune612.0ms

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 21.6b

localize14.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ b (sqrt (+ (* c c) (* d d))))
29.3b
(sqrt (+ (* c c) (* d d)))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
18×*-un-lft-identity times-frac add-cube-cbrt
15×sqrt-prod
6×associate-/r*
4×add-cbrt-cube sqrt-div add-exp-log
3×pow1 associate-/l*
2×flip3-+ associate-/r/ flip-+ insert-posit16 add-log-exp
1×cbrt-undiv rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 div-exp div-inv
Counts
2 → 58
Calls
2 calls:
13.0ms
(/ b (sqrt (+ (* c c) (* d d))))
8.0ms
(sqrt (+ (* c c) (* d d)))

series130.0ms

Counts
2 → 6
Calls
2 calls:
76.0ms
(/ b (sqrt (+ (* c c) (* d d))))
54.0ms
(sqrt (+ (* c c) (* d d)))

simplify1.7s

Counts
64 → 64
Iterations
IterNodes
done5006
42481
3948
2398
1185
095

prune244.0ms

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 12.3b

regimes440.0ms

Accuracy

72.1% (3.2b remaining)

Error of 17.3b against oracle of 14.1b and baseline of 25.6b

bsearch93.0ms

Steps
ItersRangePoint
6
2.8364102844858466e+132
3.3182823546818055e+133
2.1496090707043887e+133
9
-5.99730792027498e+155
-1.8300824072553637e+149
-8.222702384414015e+149

simplify4.0ms

Iterations
IterNodes
done26
126
020

end0.0ms

sample892.0ms

Algorithm
intervals
Results
665.0ms8506×body80valid