Details

Time bar (total: 17.5s)

sample66.0ms

Algorithm
intervals
Results
50.0ms273×body80valid

simplify130.0ms

Calls
1 calls:
Slowest
130.0ms
(/ (- (* b c) (* a d)) (+ (* c c) (* d d)))

prune19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 23.2b

localize37.0ms

Local error

Found 3 expressions with local error:

23.2b
(/ (- (* b c) (* a d)) (fma d d (* c c)))
1.0b
(- (* b c) (* a d))
0.0b
(fma d d (* c c))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
5×add-cbrt-cube add-exp-log add-log-exp
3×expm1-log1p-u pow1 associate-/r* insert-posit16 log1p-expm1-u associate-/l*
2×flip3-- flip-- associate-/l/
1×cbrt-undiv clear-num sub-neg frac-2neg fma-neg diff-log div-sub div-exp prod-diff fma-udef div-inv
Calls
3 calls:
Slowest
33.0ms
(/ (- (* b c) (* a d)) (fma d d (* c c)))
20.0ms
(- (* b c) (* a d))
0.0ms
(fma d d (* c c))

series248.0ms

Calls
3 calls:
Slowest
122.0ms
(/ (- (* b c) (* a d)) (fma d d (* c c)))
64.0ms
(- (* b c) (* a d))
62.0ms
(fma d d (* c c))

simplify2.7s

Calls
40 calls:
Slowest
532.0ms
(/ (* (* (- (* b c) (* a d)) (- (* b c) (* a d))) (- (* b c) (* a d))) (* (* (fma d d (* c c)) (fma d d (* c c))) (fma d d (* c c))))
414.0ms
(- (pow (* b c) 3) (pow (* a d) 3))
282.0ms
(- (* (* b c) (* b c)) (* (* a d) (* a d)))
207.0ms
(/ (exp (* b c)) (exp (* a d)))
138.0ms
(/ (- (* b c) (* a d)) (sqrt (fma d d (* c c))))

prune868.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 22.8b

localize28.0ms

Local error

Found 4 expressions with local error:

27.4b
(sqrt (fma d d (* c c)))
27.4b
(sqrt (fma d d (* c c)))
13.4b
(/ (- (* b c) (* a d)) (sqrt (fma d d (* c c))))
1.0b
(- (* b c) (* a d))

rewrite43.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 add-exp-log add-log-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×associate-/l*
2×rem-sqrt-square sqrt-pow1 flip3-- pow1/2 fma-udef hypot-def flip-- associate-/l/
1×cbrt-undiv clear-num sub-neg frac-2neg fma-neg diff-log div-sub div-exp prod-diff div-inv
Calls
4 calls:
Slowest
31.0ms
(/ (- (* b c) (* a d)) (sqrt (fma d d (* c c))))
8.0ms
(- (* b c) (* a d))
1.0ms
(sqrt (fma d d (* c c)))
1.0ms
(sqrt (fma d d (* c c)))

series315.0ms

Calls
4 calls:
Slowest
158.0ms
(/ (- (* b c) (* a d)) (sqrt (fma d d (* c c))))
58.0ms
(sqrt (fma d d (* c c)))
53.0ms
(sqrt (fma d d (* c c)))
46.0ms
(- (* b c) (* a d))

simplify3.2s

Calls
74 calls:
Slowest
397.0ms
(/ (* (* (- (* b c) (* a d)) (- (* b c) (* a d))) (- (* b c) (* a d))) (* (* (sqrt (fma d d (* c c))) (sqrt (fma d d (* c c)))) (sqrt (fma d d (* c c)))))
350.0ms
(- (pow (* b c) 3) (pow (* a d) 3))
183.0ms
(- (* (* b c) (* b c)) (* (* a d) (* a d)))
146.0ms
(/ (exp (* b c)) (exp (* a d)))
134.0ms
(/ (- (* b c) (* a d)) (sqrt (sqrt (fma d d (* c c)))))

prune1.2s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 20.8b

localize22.0ms

Local error

Found 3 expressions with local error:

23.2b
(/ (fma b c (- (* a d))) (fma d d (* c c)))
0.0b
(fma d d (* c c))
0.0b
(fma b c (- (* a d)))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
5×add-cbrt-cube add-exp-log
3×expm1-log1p-u pow1 associate-/r* insert-posit16 log1p-expm1-u associate-/l* add-log-exp
2×fma-udef
1×cbrt-undiv clear-num frac-2neg div-exp div-inv
Calls
3 calls:
Slowest
7.0ms
(/ (fma b c (- (* a d))) (fma d d (* c c)))
0.0ms
(fma d d (* c c))
0.0ms
(fma b c (- (* a d)))

series209.0ms

Calls
3 calls:
Slowest
112.0ms
(/ (fma b c (- (* a d))) (fma d d (* c c)))
54.0ms
(fma b c (- (* a d)))
42.0ms
(fma d d (* c c))

simplify1.3s

Calls
34 calls:
Slowest
430.0ms
(/ (* (* (fma b c (- (* a d))) (fma b c (- (* a d)))) (fma b c (- (* a d)))) (* (* (fma d d (* c c)) (fma d d (* c c))) (fma d d (* c c))))
72.0ms
(/ (fma b c (- (* a d))) (fma d d (* c c)))
66.0ms
(/ (* (cbrt (fma b c (- (* a d)))) (cbrt (fma b c (- (* a d))))) (* (cbrt (fma d d (* c c))) (cbrt (fma d d (* c c)))))
61.0ms
(/ (fma b c (- (* a d))) (cbrt (fma d d (* c c))))
53.0ms
(/ (fma b c (- (* a d))) (sqrt (fma d d (* c c))))

prune637.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 20.8b

localize44.0ms

Local error

Found 4 expressions with local error:

27.4b
(sqrt (fma d d (* c c)))
27.4b
(sqrt (fma d d (* c c)))
13.4b
(/ (- (* b c) (* a d)) (sqrt (fma d d (* c c))))
1.0b
(- (* b c) (* a d))

rewrite35.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 add-exp-log add-log-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×associate-/l*
2×rem-sqrt-square sqrt-pow1 flip3-- pow1/2 fma-udef hypot-def flip-- associate-/l/
1×cbrt-undiv clear-num sub-neg frac-2neg fma-neg diff-log div-sub div-exp prod-diff div-inv
Calls
4 calls:
Slowest
23.0ms
(/ (- (* b c) (* a d)) (sqrt (fma d d (* c c))))
8.0ms
(- (* b c) (* a d))
1.0ms
(sqrt (fma d d (* c c)))
1.0ms
(sqrt (fma d d (* c c)))

series319.0ms

Calls
4 calls:
Slowest
153.0ms
(/ (- (* b c) (* a d)) (sqrt (fma d d (* c c))))
72.0ms
(sqrt (fma d d (* c c)))
50.0ms
(- (* b c) (* a d))
45.0ms
(sqrt (fma d d (* c c)))

simplify3.0s

Calls
74 calls:
Slowest
372.0ms
(/ (* (* (- (* b c) (* a d)) (- (* b c) (* a d))) (- (* b c) (* a d))) (* (* (sqrt (fma d d (* c c))) (sqrt (fma d d (* c c)))) (sqrt (fma d d (* c c)))))
309.0ms
(- (pow (* b c) 3) (pow (* a d) 3))
227.0ms
(- (* (* b c) (* b c)) (* (* a d) (* a d)))
128.0ms
(/ (exp (* b c)) (exp (* a d)))
118.0ms
(/ (- (* b c) (* a d)) (sqrt (fma d d (* c c))))

prune1.2s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 20.8b

regimes301.0ms

Accuracy

0% (2.0b remaining)

Error of 25.2b against oracle of 23.3b and baseline of 25.2b

bsearch2.0ms

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.3s8465×body80valid