Details

Time bar (total: 11.9s)

sample44.0ms

Algorithm
intervals
Results
18.0ms272×body80valid

simplify98.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01115
11915
23615
34815
46615
57015
done7015

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.0b

localize9.0ms

Local error

Found 2 expressions with local error:

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

rewrite49.0ms

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

series182.0ms

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

simplify2.3s

Counts
50 → 50
Iterations

Useful iterations: 3 (687.0ms)

IterNodesCost
088954
1252936
2857854
32867850
done5000850

prune197.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 28.1b

localize25.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d))))
18.7b
(/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
31.7b
(sqrt (+ (* c c) (* d d)))
31.7b
(sqrt (+ (* c c) (* d d)))

rewrite190.0ms

Algorithm
rewrite-expression-head
Rules
288×times-frac
164×add-sqr-sqrt
162×add-cube-cbrt *-un-lft-identity
156×sqrt-prod
27×associate-/l*
22×sqrt-div
18×associate-/r/
12×associate-/r*
11×add-exp-log flip3-+ add-cbrt-cube flip-+
9×div-inv
6×pow1
4×cbrt-undiv div-exp add-log-exp
3×div-sub associate-/l/
2×rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 clear-num
1×flip3-- flip--
Counts
4 → 266
Calls
4 calls:
83.0ms
(/ (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d))))
56.0ms
(/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
16.0ms
(sqrt (+ (* c c) (* d d)))
17.0ms
(sqrt (+ (* c c) (* d d)))

series413.0ms

Counts
4 → 12
Calls
4 calls:
148.0ms
(/ (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d))))
154.0ms
(/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
59.0ms
(sqrt (+ (* c c) (* d d)))
51.0ms
(sqrt (+ (* c c) (* d d)))

simplify1.4s

Counts
278 → 278
Iterations

Useful iterations: done (1.3s)

IterNodesCost
030711144
174010034
218859365
done50019059

prune1.1s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 25.5b

localize33.0ms

Local error

Found 4 expressions with local error:

11.4b
(/ (* b c) (sqrt (+ (* d d) (* c c))))
31.7b
(sqrt (+ (* c c) (* d d)))
31.7b
(sqrt (+ (* d d) (* c c)))
31.7b
(sqrt (+ (* d d) (* c c)))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
15×sqrt-prod
14×add-sqr-sqrt
11×add-cube-cbrt *-un-lft-identity
9×add-exp-log add-cbrt-cube
8×sqrt-div
7×pow1
6×times-frac associate-/r*
4×flip3-+ flip-+ add-log-exp
3×rem-sqrt-square sqrt-pow1 pow1/2
2×cbrt-undiv div-exp associate-/r/
1×frac-2neg prod-exp clear-num cbrt-unprod div-inv associate-/l*
Counts
4 → 74
Calls
4 calls:
23.0ms
(/ (* b c) (sqrt (+ (* d d) (* c c))))
8.0ms
(sqrt (+ (* c c) (* d d)))
8.0ms
(sqrt (+ (* d d) (* c c)))
14.0ms
(sqrt (+ (* d d) (* c c)))

series238.0ms

Counts
4 → 12
Calls
4 calls:
87.0ms
(/ (* b c) (sqrt (+ (* d d) (* c c))))
39.0ms
(sqrt (+ (* c c) (* d d)))
56.0ms
(sqrt (+ (* d d) (* c c)))
56.0ms
(sqrt (+ (* d d) (* c c)))

simplify1.9s

Counts
86 → 86
Iterations

Useful iterations: 3 (580.0ms)

IterNodesCost
01081174
12441042
2715934
32510912
done5000912

prune314.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 25.0b

localize20.0ms

Local error

Found 4 expressions with local error:

9.3b
(/ d (/ (sqrt (+ (* d d) (* c c))) a))
31.7b
(sqrt (+ (* c c) (* d d)))
31.7b
(sqrt (+ (* d d) (* c c)))
31.7b
(sqrt (+ (* d d) (* c c)))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
138×times-frac
85×add-sqr-sqrt
82×add-cube-cbrt *-un-lft-identity
45×sqrt-prod
22×associate-/r*
9×add-exp-log add-cbrt-cube
7×pow1
6×sqrt-div
5×div-inv
4×add-log-exp
3×cbrt-undiv rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 div-exp flip-+ associate-/l*
1×frac-2neg clear-num associate-/r/
Counts
4 → 151
Calls
4 calls:
18.0ms
(/ d (/ (sqrt (+ (* d d) (* c c))) a))
8.0ms
(sqrt (+ (* c c) (* d d)))
8.0ms
(sqrt (+ (* d d) (* c c)))
9.0ms
(sqrt (+ (* d d) (* c c)))

series196.0ms

Counts
4 → 12
Calls
4 calls:
73.0ms
(/ d (/ (sqrt (+ (* d d) (* c c))) a))
43.0ms
(sqrt (+ (* c c) (* d d)))
38.0ms
(sqrt (+ (* d d) (* c c)))
42.0ms
(sqrt (+ (* d d) (* c c)))

simplify1.8s

Counts
163 → 163
Iterations

Useful iterations: 3 (911.0ms)

IterNodesCost
02433273
15222943
214332815
338492795
done50012795

prune528.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 25.0b

regimes174.0ms

Accuracy

0% (0.3b remaining)

Error of 22.7b against oracle of 22.4b and baseline of 22.7b

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
01634
11734
done1734

end0.0ms

sample623.0ms

Algorithm
intervals
Results
294.0ms8509×body80valid