Details

Time bar (total: 2.5m)

sample48.0ms

Algorithm
intervals
Results
28.0ms339×body80valid

simplify40.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
40.0ms
(- (* x.re y.re) (* x.im y.im))

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 1 expressions with local error:

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

rewrite7.0ms

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

series53.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
53.0ms
(- (* x.re y.re) (* x.im y.im))

simplify214.0ms

Counts
4 → 16
Calls
4 calls:
Slowest
167.0ms
(/ (exp (* x.re y.re)) (exp (* x.im y.im)))
29.0ms
(- (* y.re x.re) (* y.im x.im))
16.0ms
(- (* y.re x.re) (* y.im x.im))
1.0ms
0

prune140.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

34.7b
(cbrt (* (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))) (- (* x.re y.re) (* x.im y.im))))
0.3b
(* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im)))
0.2b
(* (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))) (- (* x.re y.re) (* x.im y.im)))
0.0b
(- (* x.re y.re) (* x.im y.im))

rewrite320.0ms

Algorithm
rewrite-expression-head
Rules
61×flip3-- flip--
60×frac-times
30×pow1 associate-*l/
26×cbrt-div
18×associate-*r/
12×add-sqr-sqrt
11×add-cbrt-cube add-exp-log
9×*-un-lft-identity add-cube-cbrt
7×pow-plus pow-prod-up
6×associate-*r* add-log-exp
5×sub-neg
4×distribute-rgt-in distribute-lft-in associate-*l* pow-prod-down prod-exp cbrt-unprod insert-posit16
3×pow2 swap-sqr pow-sqr
2×pow3 *-commutative unswap-sqr
1×cbrt-prod pow1/3 diff-log rem-cbrt-cube
Counts
4 → 147
Calls
4 calls:
Slowest
147.0ms
(* (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))) (- (* x.re y.re) (* x.im y.im)))
79.0ms
(* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im)))
76.0ms
(cbrt (* (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))) (- (* x.re y.re) (* x.im y.im))))
14.0ms
(- (* x.re y.re) (* x.im y.im))

series378.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
188.0ms
(* (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))) (- (* x.re y.re) (* x.im y.im)))
77.0ms
(* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im)))
60.0ms
(cbrt (* (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))) (- (* x.re y.re) (* x.im y.im))))
53.0ms
(- (* x.re y.re) (* x.im y.im))

simplify29.6s

Counts
149 → 159
Calls
149 calls:
Slowest
736.0ms
(* (* (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))) (- (* x.re y.re) (* x.im y.im))) (* (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))) (- (* x.re y.re) (* x.im y.im))))
653.0ms
(* (+ (* x.re y.re) (* x.im y.im)) (+ (* x.re y.re) (* x.im y.im)))
615.0ms
(* (* (+ (* (* x.re y.re) (* x.re y.re)) (+ (* (* x.im y.im) (* x.im y.im)) (* (* x.re y.re) (* x.im y.im)))) (+ (* (* x.re y.re) (* x.re y.re)) (+ (* (* x.im y.im) (* x.im y.im)) (* (* x.re y.re) (* x.im y.im))))) (+ (* (* x.re y.re) (* x.re y.re)) (+ (* (* x.im y.im) (* x.im y.im)) (* (* x.re y.re) (* x.im y.im)))))
586.0ms
(* (* (+ (* (* x.re y.re) (* x.re y.re)) (+ (* (* x.im y.im) (* x.im y.im)) (* (* x.re y.re) (* x.im y.im)))) (+ (* x.re y.re) (* x.im y.im))) (+ (* (* x.re y.re) (* x.re y.re)) (+ (* (* x.im y.im) (* x.im y.im)) (* (* x.re y.re) (* x.im y.im)))))
586.0ms
(* (- (* (* x.re y.re) (* x.re y.re)) (* (* x.im y.im) (* x.im y.im))) (- (* (* x.re y.re) (* x.re y.re)) (* (* x.im y.im) (* x.im y.im))))

prune1.7s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize28.0ms

Local error

Found 4 expressions with local error:

34.7b
(cbrt (* (* (* (- (* x.re y.re) (* x.im y.im)) (* (cbrt (- (* x.re y.re) (* x.im y.im))) (cbrt (- (* x.re y.re) (* x.im y.im))))) (cbrt (- (* x.re y.re) (* x.im y.im)))) (- (* x.re y.re) (* x.im y.im))))
0.8b
(cbrt (- (* x.re y.re) (* x.im y.im)))
0.8b
(cbrt (- (* x.re y.re) (* x.im y.im)))
0.8b
(cbrt (- (* x.re y.re) (* x.im y.im)))

rewrite857.0ms

Algorithm
rewrite-expression-head
Rules
734×cbrt-div
568×frac-times
408×flip3-- flip--
230×associate-*l/
134×associate-*r/
10×cbrt-prod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube pow1/3 add-exp-log insert-posit16 add-log-exp
Counts
4 → 294
Calls
4 calls:
Slowest
813.0ms
(cbrt (* (* (* (- (* x.re y.re) (* x.im y.im)) (* (cbrt (- (* x.re y.re) (* x.im y.im))) (cbrt (- (* x.re y.re) (* x.im y.im))))) (cbrt (- (* x.re y.re) (* x.im y.im)))) (- (* x.re y.re) (* x.im y.im))))
10.0ms
(cbrt (- (* x.re y.re) (* x.im y.im)))
7.0ms
(cbrt (- (* x.re y.re) (* x.im y.im)))
5.0ms
(cbrt (- (* x.re y.re) (* x.im y.im)))

series604.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
196.0ms
(cbrt (- (* x.re y.re) (* x.im y.im)))
183.0ms
(cbrt (- (* x.re y.re) (* x.im y.im)))
175.0ms
(cbrt (- (* x.re y.re) (* x.im y.im)))
51.0ms
(cbrt (* (* (* (- (* x.re y.re) (* x.im y.im)) (* (cbrt (- (* x.re y.re) (* x.im y.im))) (cbrt (- (* x.re y.re) (* x.im y.im))))) (cbrt (- (* x.re y.re) (* x.im y.im)))) (- (* x.re y.re) (* x.im y.im))))

simplify1.8m

Counts
270 → 306
Calls
270 calls:
Slowest
794.0ms
(cbrt (* (* (* (- (pow (* x.re y.re) 3) (pow (* x.im y.im) 3)) (* (cbrt (- (pow (* x.re y.re) 3) (pow (* x.im y.im) 3))) (cbrt (- (* (* x.re y.re) (* x.re y.re)) (* (* x.im y.im) (* x.im y.im)))))) (cbrt (- (* x.re y.re) (* x.im y.im)))) (- (pow (* x.re y.re) 3) (pow (* x.im y.im) 3))))
786.0ms
(cbrt (* (* (* (- (* (* x.re y.re) (* x.re y.re)) (* (* x.im y.im) (* x.im y.im))) (* (cbrt (- (pow (* x.re y.re) 3) (pow (* x.im y.im) 3))) (cbrt (- (pow (* x.re y.re) 3) (pow (* x.im y.im) 3))))) (cbrt (- (* (* x.re y.re) (* x.re y.re)) (* (* x.im y.im) (* x.im y.im))))) (- (* x.re y.re) (* x.im y.im))))
762.0ms
(cbrt (* (* (* (- (* (* x.re y.re) (* x.re y.re)) (* (* x.im y.im) (* x.im y.im))) (* (cbrt (- (* (* x.re y.re) (* x.re y.re)) (* (* x.im y.im) (* x.im y.im)))) (cbrt (- (* (* x.re y.re) (* x.re y.re)) (* (* x.im y.im) (* x.im y.im)))))) (cbrt (- (pow (* x.re y.re) 3) (pow (* x.im y.im) 3)))) (- (pow (* x.re y.re) 3) (pow (* x.im y.im) 3))))
680.0ms
(cbrt (* (* (* (- (* (* x.re y.re) (* x.re y.re)) (* (* x.im y.im) (* x.im y.im))) (* (cbrt (- (pow (* x.re y.re) 3) (pow (* x.im y.im) 3))) (cbrt (- (* (* x.re y.re) (* x.re y.re)) (* (* x.im y.im) (* x.im y.im)))))) (cbrt (- (* x.re y.re) (* x.im y.im)))) (- (* (* x.re y.re) (* x.re y.re)) (* (* x.im y.im) (* x.im y.im)))))
664.0ms
(cbrt (* (* (* (- (* (* x.re y.re) (* x.re y.re)) (* (* x.im y.im) (* x.im y.im))) (* (cbrt (- (* (* x.re y.re) (* x.re y.re)) (* (* x.im y.im) (* x.im y.im)))) (cbrt (- (* x.re y.re) (* x.im y.im))))) (cbrt (- (pow (* x.re y.re) 3) (pow (* x.im y.im) 3)))) (- (* (* x.re y.re) (* x.re y.re)) (* (* x.im y.im) (* x.im y.im)))))

prune6.0s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes337.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
782.0ms10492×body80valid