Details

Time bar (total: 13.4s)

sample27.0ms

Algorithm
intervals
Results
12.0ms265×body80valid

simplify38.0ms

Counts
1 → 1
Iterations
IterNodes
done72
572
466
348
236
119
011

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 23.9b

localize15.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (* b c) (* a d))
23.4b
(/ (- (* b c) (* a d)) (+ (* c c) (* d d)))

rewrite28.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/ flip-- associate-/l/
1×cbrt-undiv clear-num sub-neg frac-2neg flip3-+ diff-log div-sub div-exp flip-+ div-inv
Counts
2 → 44
Calls
2 calls:
7.0ms
(- (* b c) (* a d))
21.0ms
(/ (- (* b c) (* a d)) (+ (* c c) (* d d)))

series198.0ms

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

simplify1.7s

Counts
50 → 50
Iterations
IterNodes
done5001
34329
2980
1254
086

prune268.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 20.7b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (* b c) (+ (* c c) (* d d))) (/ a (/ (+ (* c c) (* d d)) d)))
3.6b
(/ a (/ (+ (* c c) (* d d)) d))
15.4b
(/ (* b c) (+ (* c c) (* d d)))
16.2b
(/ (+ (* c c) (* d d)) d)

rewrite173.0ms

Algorithm
rewrite-expression-head
Rules
90×times-frac
65×add-sqr-sqrt
58×*-un-lft-identity
56×add-cube-cbrt
19×associate-/r*
16×add-cbrt-cube add-exp-log
7×div-inv associate-/l*
6×cbrt-undiv div-exp add-log-exp
4×pow1
3×clear-num frac-2neg associate-/r/ difference-of-squares
2×flip3-+ flip-+ associate-/l/
1×sub-neg flip3-- diff-log prod-exp frac-sub cbrt-unprod flip-- distribute-lft-out--
Counts
4 → 139
Calls
4 calls:
95.0ms
(- (/ (* b c) (+ (* c c) (* d d))) (/ a (/ (+ (* c c) (* d d)) d)))
28.0ms
(/ a (/ (+ (* c c) (* d d)) d))
14.0ms
(/ (* b c) (+ (* c c) (* d d)))
27.0ms
(/ (+ (* c c) (* d d)) d)

series429.0ms

Counts
4 → 12
Calls
4 calls:
240.0ms
(- (/ (* b c) (+ (* c c) (* d d))) (/ a (/ (+ (* c c) (* d d)) d)))
64.0ms
(/ a (/ (+ (* c c) (* d d)) d))
67.0ms
(/ (* b c) (+ (* c c) (* d d)))
59.0ms
(/ (+ (* c c) (* d d)) d)

simplify1.3s

Counts
151 → 151
Iterations
IterNodes
done5001
23543
1670
0242

prune903.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 11.1b

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (* b c) (+ (* c c) (* d d))) (/ a (+ d (/ c (/ d c)))))
0.1b
(/ c (/ d c))
3.6b
(/ a (+ d (/ c (/ d c))))
15.4b
(/ (* b c) (+ (* c c) (* d d)))

rewrite327.0ms

Algorithm
rewrite-expression-head
Rules
91×times-frac
67×*-un-lft-identity
62×add-sqr-sqrt
57×add-cube-cbrt
20×associate-/r*
16×add-cbrt-cube add-exp-log
7×div-inv associate-/l*
6×cbrt-undiv div-exp add-log-exp
5×associate-/r/
4×pow1 distribute-lft-out
3×clear-num frac-2neg
2×flip3-+ flip-+ difference-of-squares
1×sub-neg flip3-- diff-log prod-exp frac-sub cbrt-unprod flip-- distribute-lft-out--
Counts
4 → 142
Calls
4 calls:
196.0ms
(- (/ (* b c) (+ (* c c) (* d d))) (/ a (+ d (/ c (/ d c)))))
14.0ms
(/ c (/ d c))
80.0ms
(/ a (+ d (/ c (/ d c))))
26.0ms
(/ (* b c) (+ (* c c) (* d d)))

series366.0ms

Counts
4 → 12
Calls
4 calls:
182.0ms
(- (/ (* b c) (+ (* c c) (* d d))) (/ a (+ d (/ c (/ d c)))))
37.0ms
(/ c (/ d c))
63.0ms
(/ a (+ d (/ c (/ d c))))
84.0ms
(/ (* b c) (+ (* c c) (* d d)))

simplify2.0s

Counts
154 → 154
Iterations
IterNodes
done5001
24192
1737
0276

prune1.0s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 10.3b

localize56.0ms

Local error

Found 4 expressions with local error:

2.2b
(/ b (/ (sqrt (+ (* c c) (* d d))) c))
3.6b
(/ a (+ d (/ c (/ d c))))
26.1b
(sqrt (+ (* c c) (* d d)))
26.1b
(sqrt (+ (* c c) (* d d)))

rewrite122.0ms

Algorithm
rewrite-expression-head
Rules
150×times-frac
98×*-un-lft-identity
92×add-sqr-sqrt
90×add-cube-cbrt
42×sqrt-prod
26×associate-/r*
11×add-cbrt-cube add-exp-log
6×pow1 div-inv associate-/l*
4×cbrt-undiv sqrt-div div-exp distribute-lft-out add-log-exp
3×flip3-+ associate-/r/ flip-+
2×rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2
Counts
4 → 169
Calls
4 calls:
25.0ms
(/ b (/ (sqrt (+ (* c c) (* d d))) c))
64.0ms
(/ a (+ d (/ c (/ d c))))
13.0ms
(sqrt (+ (* c c) (* d d)))
13.0ms
(sqrt (+ (* c c) (* d d)))

series275.0ms

Counts
4 → 12
Calls
4 calls:
95.0ms
(/ b (/ (sqrt (+ (* c c) (* d d))) c))
54.0ms
(/ a (+ d (/ c (/ d c))))
63.0ms
(sqrt (+ (* c c) (* d d)))
63.0ms
(sqrt (+ (* c c) (* d d)))

simplify1.4s

Counts
181 → 181
Iterations
IterNodes
done5000
23671
1692
0275

prune1.1s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 10.3b

regimes318.0ms

Accuracy

0% (1.7b remaining)

Error of 13.8b against oracle of 12.1b and baseline of 13.8b

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done23
123
020

end0.0ms

sample1.2s

Algorithm
intervals
Results
728.0ms8456×body80valid