Details

Time bar (total: 10.2s)

sample48.0ms

Algorithm
intervals
Results
27.0ms332×body80valid

simplify10.0ms

Counts
1 → 1

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 1 expressions with local error:

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

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
3×add-log-exp
1×add-sqr-sqrt pow1 +-commutative sum-log *-un-lft-identity flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+ insert-posit16
Counts
1 → 12
Calls
1 calls:
Slowest
14.0ms
(+ (* x.re y.im) (* x.im y.re))

series57.0ms

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

simplify1.2s

Counts
15 → 15

prune131.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize65.0ms

Local error

Found 4 expressions with local error:

36.4b
(/ (+ (* (* x.im y.re) (* (* x.im y.re) (* x.im y.re))) (* (* x.re y.im) (* (* x.re y.im) (* x.re y.im)))) (+ (* (* x.re y.im) (* x.re y.im)) (- (* (* x.im y.re) (* x.im y.re)) (* (* x.re y.im) (* x.im y.re)))))
3.2b
(* (* x.re y.im) (* x.im y.re))
1.3b
(- (* (* x.im y.re) (* x.im y.re)) (* (* x.re y.im) (* x.im y.re)))
1.2b
(+ (* (* x.re y.im) (* x.re y.im)) (- (* (* x.im y.re) (* x.im y.re)) (* (* x.re y.im) (* x.im y.re))))

rewrite733.0ms

Algorithm
rewrite-expression-head
Rules
18×add-cbrt-cube add-exp-log
16×pow1
13×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
12×times-frac
11×add-log-exp
8×cube-unmult pow-prod-down prod-exp cbrt-unprod
4×sum-cubes insert-posit16 associate-/l*
3×associate-/r* flip3-+ flip-+
2×associate-+r+ sum-log sub-neg diff-log associate-/r/ associate-/l/
1×cbrt-undiv +-commutative clear-num associate-+r- frac-2neg flip3-- distribute-rgt-out-- div-exp associate-*r* associate-*l* *-commutative div-inv flip--
Counts
4 → 89
Calls
4 calls:
Slowest
557.0ms
(/ (+ (* (* x.im y.re) (* (* x.im y.re) (* x.im y.re))) (* (* x.re y.im) (* (* x.re y.im) (* x.re y.im)))) (+ (* (* x.re y.im) (* x.re y.im)) (- (* (* x.im y.re) (* x.im y.re)) (* (* x.re y.im) (* x.im y.re)))))
84.0ms
(+ (* (* x.re y.im) (* x.re y.im)) (- (* (* x.im y.re) (* x.im y.re)) (* (* x.re y.im) (* x.im y.re))))
52.0ms
(- (* (* x.im y.re) (* x.im y.re)) (* (* x.re y.im) (* x.im y.re)))
38.0ms
(* (* x.re y.im) (* x.im y.re))

series505.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
207.0ms
(/ (+ (* (* x.im y.re) (* (* x.im y.re) (* x.im y.re))) (* (* x.re y.im) (* (* x.re y.im) (* x.re y.im)))) (+ (* (* x.re y.im) (* x.re y.im)) (- (* (* x.im y.re) (* x.im y.re)) (* (* x.re y.im) (* x.im y.re)))))
157.0ms
(+ (* (* x.re y.im) (* x.re y.im)) (- (* (* x.im y.re) (* x.im y.re)) (* (* x.re y.im) (* x.im y.re))))
93.0ms
(- (* (* x.im y.re) (* x.im y.re)) (* (* x.re y.im) (* x.im y.re)))
48.0ms
(* (* x.re y.im) (* x.im y.re))

simplify909.0ms

Counts
101 → 101

prune1.2s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize62.0ms

Local error

Found 4 expressions with local error:

24.0b
(/ (+ (* (* x.im y.re) (* x.im y.re)) (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.re y.im)))) (sqrt (+ (* (* x.re y.im) (* x.re y.im)) (- (* (* x.im y.re) (* x.im y.re)) (* (* x.re y.im) (* x.im y.re))))))
21.6b
(sqrt (+ (* (* x.re y.im) (* x.re y.im)) (- (* (* x.im y.re) (* x.im y.re)) (* (* x.re y.im) (* x.im y.re)))))
21.6b
(sqrt (+ (* (* x.re y.im) (* x.re y.im)) (- (* (* x.im y.re) (* x.im y.re)) (* (* x.re y.im) (* x.im y.re)))))
3.2b
(* (* x.im y.re) (* x.re y.im))

rewrite588.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
21×*-un-lft-identity add-cube-cbrt
18×pow1 times-frac add-cbrt-cube add-exp-log sqrt-prod
8×pow-prod-down prod-exp cbrt-unprod
6×associate-/r* sqrt-div
4×flip3-+ flip-+ insert-posit16 add-log-exp
3×associate-/l*
2×rem-sqrt-square sqrt-pow1 pow1/2 associate-/r/ associate-/l/
1×cbrt-undiv clear-num associate-+r- frac-2neg div-sub div-exp associate-*r* associate-*l* *-commutative div-inv
Counts
4 → 100
Calls
4 calls:
Slowest
306.0ms
(/ (+ (* (* x.im y.re) (* x.im y.re)) (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.re y.im)))) (sqrt (+ (* (* x.re y.im) (* x.re y.im)) (- (* (* x.im y.re) (* x.im y.re)) (* (* x.re y.im) (* x.im y.re))))))
127.0ms
(sqrt (+ (* (* x.re y.im) (* x.re y.im)) (- (* (* x.im y.re) (* x.im y.re)) (* (* x.re y.im) (* x.im y.re)))))
122.0ms
(sqrt (+ (* (* x.re y.im) (* x.re y.im)) (- (* (* x.im y.re) (* x.im y.re)) (* (* x.re y.im) (* x.im y.re)))))
31.0ms
(* (* x.im y.re) (* x.re y.im))

series566.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
184.0ms
(sqrt (+ (* (* x.re y.im) (* x.re y.im)) (- (* (* x.im y.re) (* x.im y.re)) (* (* x.re y.im) (* x.im y.re)))))
166.0ms
(sqrt (+ (* (* x.re y.im) (* x.re y.im)) (- (* (* x.im y.re) (* x.im y.re)) (* (* x.re y.im) (* x.im y.re)))))
154.0ms
(/ (+ (* (* x.im y.re) (* x.im y.re)) (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.re y.im)))) (sqrt (+ (* (* x.re y.im) (* x.re y.im)) (- (* (* x.im y.re) (* x.im y.re)) (* (* x.re y.im) (* x.im y.re))))))
61.0ms
(* (* x.im y.re) (* x.re y.im))

simplify740.0ms

Counts
112 → 112

prune1.8s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes332.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample1.2s

Algorithm
intervals
Results
834.0ms10468×body80valid