Details

Time bar (total: 38.8s)

sample89.0ms

Algorithm
intervals
Results
45.0ms431×body80valid

simplify125.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
124.0ms
(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 2 expressions with local error:

0.0b
(fma i c (fma a b (fma x y (* z t))))
0.0b
(fma x y (* z t))

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
2×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
2 → 22
Calls
2 calls:
Slowest
1.0ms
(fma i c (fma a b (fma x y (* z t))))
0.0ms
(fma x y (* z t))

series414.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
353.0ms
(fma i c (fma a b (fma x y (* z t))))
61.0ms
(fma x y (* z t))

simplify111.0ms

Counts
6 → 28
Calls
6 calls:
Slowest
48.0ms
(+ (* a b) (+ (* t z) (* x y)))
26.0ms
(+ (* a b) (+ (* t z) (* x y)))
17.0ms
(+ (* t z) (* x y))
16.0ms
(+ (* t z) (* x y))
2.0ms
0

prune487.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (fma i c (fma a b (fma x y (* z t)))))
0.5b
(cbrt (fma i c (fma a b (fma x y (* z t)))))
0.5b
(cbrt (fma i c (fma a b (fma x y (* z t)))))
0.5b
(* (cbrt (fma i c (fma a b (fma x y (* z t))))) (cbrt (fma i c (fma a b (fma x y (* z t))))))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 85
Calls
4 calls:
Slowest
9.0ms
(* (cbrt (fma i c (fma a b (fma x y (* z t))))) (cbrt (fma i c (fma a b (fma x y (* z t))))))
7.0ms
(cbrt (fma i c (fma a b (fma x y (* z t)))))
1.0ms
(cbrt (fma i c (fma a b (fma x y (* z t)))))
1.0ms
(cbrt (fma i c (fma a b (fma x y (* z t)))))

series769.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
252.0ms
(* (cbrt (fma i c (fma a b (fma x y (* z t))))) (cbrt (fma i c (fma a b (fma x y (* z t))))))
186.0ms
(cbrt (fma i c (fma a b (fma x y (* z t)))))
180.0ms
(cbrt (fma i c (fma a b (fma x y (* z t)))))
151.0ms
(cbrt (fma i c (fma a b (fma x y (* z t)))))

simplify9.5s

Counts
65 → 97
Calls
65 calls:
Slowest
510.0ms
(cbrt (* (cbrt (fma i c (fma a b (fma x y (* z t))))) (cbrt (fma i c (fma a b (fma x y (* z t)))))))
344.0ms
(exp (* -1/3 (+ (log (/ -1 i)) (log (/ -1 c)))))
318.0ms
(exp (* -1/3 (+ (log (/ -1 i)) (log (/ -1 c)))))
309.0ms
(exp (* -1/3 (+ (log (/ -1 i)) (log (/ -1 c)))))
304.0ms
(exp (* -1/3 (+ (log (/ 1 c)) (log (/ 1 i)))))

prune1.7s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize68.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (* (cbrt (fma i c (fma a b (fma x y (* z t))))) (cbrt (fma i c (fma a b (fma x y (* z t)))))))
0.5b
(cbrt (* (cbrt (fma i c (fma a b (fma x y (* z t))))) (cbrt (fma i c (fma a b (fma x y (* z t)))))))
0.5b
(cbrt (* (cbrt (fma i c (fma a b (fma x y (* z t))))) (cbrt (fma i c (fma a b (fma x y (* z t)))))))
0.5b
(cbrt (fma i c (fma a b (fma x y (* z t)))))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
6×cbrt-prod
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube pow1/3 add-exp-log insert-posit16 log1p-expm1-u add-log-exp
Counts
4 → 50
Calls
4 calls:
Slowest
4.0ms
(cbrt (* (cbrt (fma i c (fma a b (fma x y (* z t))))) (cbrt (fma i c (fma a b (fma x y (* z t)))))))
4.0ms
(cbrt (* (cbrt (fma i c (fma a b (fma x y (* z t))))) (cbrt (fma i c (fma a b (fma x y (* z t)))))))
4.0ms
(cbrt (* (cbrt (fma i c (fma a b (fma x y (* z t))))) (cbrt (fma i c (fma a b (fma x y (* z t)))))))
1.0ms
(cbrt (fma i c (fma a b (fma x y (* z t)))))

series803.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
221.0ms
(cbrt (* (cbrt (fma i c (fma a b (fma x y (* z t))))) (cbrt (fma i c (fma a b (fma x y (* z t)))))))
217.0ms
(cbrt (* (cbrt (fma i c (fma a b (fma x y (* z t))))) (cbrt (fma i c (fma a b (fma x y (* z t)))))))
217.0ms
(cbrt (* (cbrt (fma i c (fma a b (fma x y (* z t))))) (cbrt (fma i c (fma a b (fma x y (* z t)))))))
148.0ms
(cbrt (fma i c (fma a b (fma x y (* z t)))))

simplify3.6s

Counts
18 → 62
Calls
18 calls:
Slowest
325.0ms
(exp (* -1/3 (+ (log (/ -1 i)) (log (/ -1 c)))))
293.0ms
(exp (* 1/9 (+ (* 2 (log z)) (* 2 (log t)))))
275.0ms
(exp (* 1/9 (+ (* 2 (log z)) (* 2 (log t)))))
267.0ms
(exp (* -1/9 (+ (* 2 (log (/ 1 c))) (* 2 (log (/ 1 i))))))
248.0ms
(exp (* -1/9 (+ (* 2 (log (/ -1 i))) (* 2 (log (/ -1 c))))))

prune1.2s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

localize90.0ms

Local error

Found 4 expressions with local error:

0.6b
(* (cbrt (cbrt (fma i c (fma a b (fma x y (* z t)))))) (cbrt (cbrt (fma i c (fma a b (fma x y (* z t)))))))
0.6b
(cbrt (cbrt (fma i c (fma a b (fma x y (* z t))))))
0.6b
(cbrt (cbrt (fma i c (fma a b (fma x y (* z t))))))
0.6b
(cbrt (cbrt (fma i c (fma a b (fma x y (* z t))))))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
81×cbrt-prod
40×add-sqr-sqrt
22×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3 swap-sqr associate-*r* associate-*l* unswap-sqr
6×add-exp-log
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 108
Calls
4 calls:
Slowest
21.0ms
(* (cbrt (cbrt (fma i c (fma a b (fma x y (* z t)))))) (cbrt (cbrt (fma i c (fma a b (fma x y (* z t)))))))
2.0ms
(cbrt (cbrt (fma i c (fma a b (fma x y (* z t))))))
2.0ms
(cbrt (cbrt (fma i c (fma a b (fma x y (* z t))))))
2.0ms
(cbrt (cbrt (fma i c (fma a b (fma x y (* z t))))))

series797.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
261.0ms
(* (cbrt (cbrt (fma i c (fma a b (fma x y (* z t)))))) (cbrt (cbrt (fma i c (fma a b (fma x y (* z t)))))))
204.0ms
(cbrt (cbrt (fma i c (fma a b (fma x y (* z t))))))
168.0ms
(cbrt (cbrt (fma i c (fma a b (fma x y (* z t))))))
162.0ms
(cbrt (cbrt (fma i c (fma a b (fma x y (* z t))))))

simplify12.6s

Counts
96 → 120
Calls
96 calls:
Slowest
332.0ms
(exp (* -1/9 (+ (log (/ -1 i)) (log (/ -1 c)))))
318.0ms
(exp (* -1/9 (+ (log (/ -1 i)) (log (/ -1 c)))))
316.0ms
(exp (* -1/9 (+ (log (/ 1 c)) (log (/ 1 i)))))
315.0ms
(exp (* -1/9 (+ (log (/ -1 i)) (log (/ -1 c)))))
277.0ms
(exp (* -1/9 (+ (log (/ 1 c)) (log (/ 1 i)))))

prune2.4s

Pruning

6 alts after pruning (2 fresh and 4 done)

Merged error: 0b

regimes1.1s

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample2.8s

Algorithm
intervals
Results
2.1s13651×body80valid