Details

Time bar (total: 7.5s)

sample37.0ms

Algorithm
intervals
Results
23.0ms330×body80valid

simplify31.0ms

Calls
1 calls:
Slowest
31.0ms
(- (* x.re y.re) (* x.im y.im))

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (* x.re y.re) (* x.im y.im))

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
3×add-log-exp
1×add-sqr-sqrt expm1-log1p-u pow1 sub-neg *-un-lft-identity flip3-- add-cbrt-cube fma-neg diff-log prod-diff add-exp-log add-cube-cbrt insert-posit16 log1p-expm1-u flip--
Calls
1 calls:
Slowest
3.0ms
(- (* x.re y.re) (* x.im y.im))

series26.0ms

Calls
1 calls:
Slowest
26.0ms
(- (* x.re y.re) (* x.im y.im))

simplify117.0ms

Calls
6 calls:
Slowest
38.0ms
(/ (exp (* x.re y.re)) (exp (* x.im y.im)))
34.0ms
(- (* y.re x.re) (* y.im x.im))
18.0ms
(fma x.re y.re (- (* y.im x.im)))
17.0ms
(- (* y.re x.re) (* y.im x.im))
8.0ms
(fma (- y.im) x.im (* y.im x.im))

prune228.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize12.0ms

Local error

Found 1 expressions with local error:

0.0b
(fma x.re y.re (- (* x.im y.im)))

rewrite1.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
Calls
1 calls:
Slowest
0.0ms
(fma x.re y.re (- (* x.im y.im)))

series32.0ms

Calls
1 calls:
Slowest
32.0ms
(fma x.re y.re (- (* x.im y.im)))

simplify42.0ms

Calls
3 calls:
Slowest
25.0ms
(- (* y.re x.re) (* y.im x.im))
16.0ms
(- (* y.re x.re) (* y.im x.im))
1.0ms
0

prune145.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize8.0ms

Local error

Found 4 expressions with local error:

2.1b
(cbrt (fma x.re y.re (- (* x.im y.im))))
2.1b
(cbrt (fma x.re y.re (- (* x.im y.im))))
2.1b
(cbrt (fma x.re y.re (- (* x.im y.im))))
0.5b
(* (cbrt (fma x.re y.re (- (* x.im y.im)))) (cbrt (fma x.re y.re (- (* x.im y.im)))))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
15×cbrt-prod
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×pow1
7×pow1/3
6×associate-*r* associate-*l* add-exp-log
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp
2×pow-prod-down pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
12.0ms
(* (cbrt (fma x.re y.re (- (* x.im y.im)))) (cbrt (fma x.re y.re (- (* x.im y.im)))))
1.0ms
(cbrt (fma x.re y.re (- (* x.im y.im))))
1.0ms
(cbrt (fma x.re y.re (- (* x.im y.im))))
1.0ms
(cbrt (fma x.re y.re (- (* x.im y.im))))

series541.0ms

Calls
4 calls:
Slowest
153.0ms
(cbrt (fma x.re y.re (- (* x.im y.im))))
143.0ms
(* (cbrt (fma x.re y.re (- (* x.im y.im)))) (cbrt (fma x.re y.re (- (* x.im y.im)))))
129.0ms
(cbrt (fma x.re y.re (- (* x.im y.im))))
116.0ms
(cbrt (fma x.re y.re (- (* x.im y.im))))

simplify3.9s

Calls
41 calls:
Slowest
320.0ms
(- (exp (* 1/3 (+ (log y.im) (+ (log x.im) (log -1))))) (* 1/3 (* y.re (* x.re (exp (* 1/3 (- (log -1) (+ (* 2 (log y.im)) (* 2 (log x.im))))))))))
303.0ms
(- (exp (* 1/3 (+ (* 2 (log y.im)) (* 2 (log x.im))))) (* 2/3 (* (exp (* -1/3 (+ (log y.im) (log x.im)))) (* y.re x.re))))
290.0ms
(- (exp (* 1/3 (+ (log y.im) (+ (log x.im) (log -1))))) (* 1/3 (* y.re (* x.re (exp (* 1/3 (- (log -1) (+ (* 2 (log y.im)) (* 2 (log x.im))))))))))
284.0ms
(exp (* -1/3 (+ (log (/ 1 x.re)) (log (/ 1 y.re)))))
266.0ms
(- (exp (* 1/3 (+ (log y.im) (+ (log x.im) (log -1))))) (* 1/3 (* y.re (* x.re (exp (* 1/3 (- (log -1) (+ (* 2 (log y.im)) (* 2 (log x.im))))))))))

prune979.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes190.0ms

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample1.1s

Algorithm
intervals
Results
788.0ms10411×body80valid