Details

Time bar (total: 26.1s)

sample25.0ms

Algorithm
intervals
Results
15.0ms345×body80valid

simplify12.0ms

Counts
1 → 1

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ (* d1 d2) (* d1 d3))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
3×add-log-exp
1×add-sqr-sqrt expm1-log1p-u pow1 +-commutative sum-log fma-def *-un-lft-identity flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+ insert-posit16 log1p-expm1-u distribute-lft-out
Counts
1 → 16
Calls
1 calls:
Slowest
14.0ms
(+ (* d1 d2) (* d1 d3))

series49.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
49.0ms
(+ (* d1 d2) (* d1 d3))

simplify2.8s

Counts
19 → 19

prune180.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 1 expressions with local error:

0.0b
(fma d1 d2 (* d1 d3))

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
1×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef insert-posit16 log1p-expm1-u add-log-exp
Counts
1 → 11
Calls
1 calls:
Slowest
0.0ms
(fma d1 d2 (* d1 d3))

series41.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
41.0ms
(fma d1 d2 (* d1 d3))

simplify8.9s

Counts
14 → 14

prune159.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize88.0ms

Local error

Found 4 expressions with local error:

39.3b
(/ (fma (* d1 d2) (* (* d1 d2) (* d1 d2)) (* (* (* d3 d1) (* d3 d1)) (* d3 d1))) (+ (* (* d1 d2) (* d1 d2)) (- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3)))))
2.5b
(fma (* d1 d2) (* (* d1 d2) (* d1 d2)) (* (* (* d3 d1) (* d3 d1)) (* d3 d1)))
1.6b
(+ (* (* d1 d2) (* d1 d2)) (- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3))))
1.3b
(- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3)))

rewrite399.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
11×add-log-exp
9×times-frac
6×add-cbrt-cube add-exp-log
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u
3×associate-+r+ associate-/r* associate-/l*
2×sum-log sub-neg flip3-+ diff-log prod-diff associate-/r/ flip-+
1×cbrt-undiv +-commutative clear-num associate-+r- fma-def frac-2neg flip3-- distribute-rgt-out-- fma-neg div-exp fma-udef div-inv flip--
Counts
4 → 81
Calls
4 calls:
Slowest
221.0ms
(/ (fma (* d1 d2) (* (* d1 d2) (* d1 d2)) (* (* (* d3 d1) (* d3 d1)) (* d3 d1))) (+ (* (* d1 d2) (* d1 d2)) (- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3)))))
126.0ms
(+ (* (* d1 d2) (* d1 d2)) (- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3))))
50.0ms
(- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3)))
1.0ms
(fma (* d1 d2) (* (* d1 d2) (* d1 d2)) (* (* (* d3 d1) (* d3 d1)) (* d3 d1)))

series777.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
256.0ms
(/ (fma (* d1 d2) (* (* d1 d2) (* d1 d2)) (* (* (* d3 d1) (* d3 d1)) (* d3 d1))) (+ (* (* d1 d2) (* d1 d2)) (- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3)))))
209.0ms
(fma (* d1 d2) (* (* d1 d2) (* d1 d2)) (* (* (* d3 d1) (* d3 d1)) (* d3 d1)))
171.0ms
(- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3)))
140.0ms
(+ (* (* d1 d2) (* d1 d2)) (- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3))))

simplify5.6s

Counts
93 → 93

prune1.2s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize77.0ms

Local error

Found 4 expressions with local error:

39.3b
(/ (fma (* d1 d2) (* (* d1 d2) (* d1 d2)) (* (* (* d3 d1) (* d3 d1)) (* d3 d1))) (+ (* (* d1 d2) (* d1 d2)) (- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3)))))
39.3b
(/ (fma (* d1 d2) (* (* d1 d2) (* d1 d2)) (* (* (* d3 d1) (* d3 d1)) (* d3 d1))) (+ (* (* d1 d2) (* d1 d2)) (- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3)))))
39.3b
(/ (fma (* d1 d2) (* (* d1 d2) (* d1 d2)) (* (* (* d3 d1) (* d3 d1)) (* d3 d1))) (+ (* (* d1 d2) (* d1 d2)) (- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3)))))
4.4b
(cbrt (/ (fma (* d1 d2) (* (* d1 d2) (* d1 d2)) (* (* (* d3 d1) (* d3 d1)) (* d3 d1))) (+ (* (* d1 d2) (* d1 d2)) (- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3))))))

rewrite468.0ms

Algorithm
rewrite-expression-head
Rules
36×times-frac
35×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
15×cbrt-prod
10×add-cbrt-cube add-exp-log
9×associate-/r* associate-/l*
8×associate-/r/
4×expm1-log1p-u pow1 flip3-+ flip-+ insert-posit16 log1p-expm1-u div-inv add-log-exp
3×cbrt-undiv clear-num frac-2neg div-exp
1×cbrt-div pow1/3
Counts
4 → 123
Calls
4 calls:
Slowest
144.0ms
(/ (fma (* d1 d2) (* (* d1 d2) (* d1 d2)) (* (* (* d3 d1) (* d3 d1)) (* d3 d1))) (+ (* (* d1 d2) (* d1 d2)) (- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3)))))
133.0ms
(/ (fma (* d1 d2) (* (* d1 d2) (* d1 d2)) (* (* (* d3 d1) (* d3 d1)) (* d3 d1))) (+ (* (* d1 d2) (* d1 d2)) (- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3)))))
128.0ms
(/ (fma (* d1 d2) (* (* d1 d2) (* d1 d2)) (* (* (* d3 d1) (* d3 d1)) (* d3 d1))) (+ (* (* d1 d2) (* d1 d2)) (- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3)))))
61.0ms
(cbrt (/ (fma (* d1 d2) (* (* d1 d2) (* d1 d2)) (* (* (* d3 d1) (* d3 d1)) (* d3 d1))) (+ (* (* d1 d2) (* d1 d2)) (- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3))))))

series989.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
315.0ms
(cbrt (/ (fma (* d1 d2) (* (* d1 d2) (* d1 d2)) (* (* (* d3 d1) (* d3 d1)) (* d3 d1))) (+ (* (* d1 d2) (* d1 d2)) (- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3))))))
257.0ms
(/ (fma (* d1 d2) (* (* d1 d2) (* d1 d2)) (* (* (* d3 d1) (* d3 d1)) (* d3 d1))) (+ (* (* d1 d2) (* d1 d2)) (- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3)))))
215.0ms
(/ (fma (* d1 d2) (* (* d1 d2) (* d1 d2)) (* (* (* d3 d1) (* d3 d1)) (* d3 d1))) (+ (* (* d1 d2) (* d1 d2)) (- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3)))))
202.0ms
(/ (fma (* d1 d2) (* (* d1 d2) (* d1 d2)) (* (* (* d3 d1) (* d3 d1)) (* d3 d1))) (+ (* (* d1 d2) (* d1 d2)) (- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3)))))

simplify1.4s

Counts
135 → 135

prune1.8s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes105.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch2.0ms

end0.0ms

sample858.0ms

Algorithm
intervals
Results
565.0ms10139×body80valid