Details

sample60.0ms

Algorithm

intervals

Results

46.0ms

268×

body

valid

simplify102.0ms

Calls

1 calls:

Slowest

102.0ms

(/ (- (* x.im y.re) (* x.re y.im)) (+ (* y.re y.re) (* y.im y.im)))

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 25.9b

localize29.0ms

Local error

Found 3 expressions with local error:

25.9b	(/ (- (* x.im y.re) (* x.re y.im)) (+ (* y.re y.re) (* y.im y.im)))
1.1b	(- (* x.im y.re) (* x.re y.im))
0.0b	(+ (* y.re y.re) (* y.im y.im))

rewrite214.0ms

Algorithm

rewrite-expression-head

Rules

260×	`*-un-lft-identity`
144×	`add-sqr-sqrt`
92×	`associate-l`
88×	`times-frac`
65×	`distribute-lft-out`
40×	`distribute-lft-out--` `difference-of-squares` `unswap-sqr`
26×	`swap-sqr`
24×	`add-cube-cbrt`
11×	`associate-/l*`
8×	`associate-/r*`
7×	`add-log-exp`
5×	`add-cbrt-cube` `add-exp-log`
3×	`pow1` `insert-posit16`
2×	`flip3-+` `flip3--` `associate-/r/` `flip-+` `flip--` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `clear-num` `sum-log` `sub-neg` `frac-2neg` `diff-log` `div-sub` `div-exp` `div-inv`

Calls

3 calls:

Slowest

128.0ms	(/ (- (* x.im y.re) (* x.re y.im)) (+ (* y.re y.re) (* y.im y.im)))
42.0ms	(- (* x.im y.re) (* x.re y.im))
36.0ms	(+ (* y.re y.re) (* y.im y.im))

series247.0ms

Calls

3 calls:

Slowest

133.0ms	(/ (- (* x.im y.re) (* x.re y.im)) (+ (* y.re y.re) (* y.im y.im)))
65.0ms	(- (* x.im y.re) (* x.re y.im))
49.0ms	(+ (* y.re y.re) (* y.im y.im))

simplify11.5s

Calls

226 calls:

Slowest

419.0ms	(- (* (* x.im y.re) (* x.im y.re)) (* (* x.re y.im) (* x.re y.im)))
355.0ms	(- (pow (* x.im y.re) 3) (pow (* x.re y.im) 3))
276.0ms	(+ (* (* y.re y.re) (* y.re y.re)) (- (* (* y.im y.im) (* y.im y.im)) (* (* y.re y.re) (* y.im y.im))))
186.0ms	(* (exp (* y.re y.re)) (exp (* y.im y.im)))
167.0ms	(/ (- (* (sqrt x.im) (sqrt y.re)) (* (sqrt x.re) (sqrt y.im))) (sqrt (+ (* y.re y.re) (* y.im y.im))))

prune1.9s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 25.5b

localize24.0ms

Local error

Found 4 expressions with local error:

30.7b	(sqrt (+ (* y.re y.re) (* y.im y.im)))
30.7b	(sqrt (+ (* y.re y.re) (* y.im y.im)))
15.5b	(/ (- (* x.im y.re) (* x.re y.im)) (sqrt (+ (* y.re y.re) (* y.im y.im))))
1.1b	(- (* x.im y.re) (* x.re y.im))

rewrite233.0ms

Algorithm

rewrite-expression-head

Rules

314×	`*-un-lft-identity`
200×	`add-sqr-sqrt`
121×	`times-frac`
112×	`sqrt-prod`
108×	`associate-l`
70×	`distribute-lft-out`
52×	`distribute-lft-out--` `difference-of-squares` `unswap-sqr`
42×	`add-cube-cbrt`
28×	`swap-sqr`
11×	`associate-/r` `associate-/l`
6×	`pow1` `add-cbrt-cube` `sqrt-div` `add-exp-log` `add-log-exp`
4×	`insert-posit16`
3×	`flip3-+` `flip-+`
2×	`rem-sqrt-square` `sqrt-pow1` `flip3--` `pow1/2` `associate-/r/` `flip--` `associate-/l/`
1×	`cbrt-undiv` `clear-num` `sub-neg` `frac-2neg` `diff-log` `div-sub` `div-exp` `div-inv`

Calls

4 calls:

Slowest

83.0ms	(/ (- (* x.im y.re) (* x.re y.im)) (sqrt (+ (* y.re y.re) (* y.im y.im))))
54.0ms	(sqrt (+ (* y.re y.re) (* y.im y.im)))
46.0ms	(sqrt (+ (* y.re y.re) (* y.im y.im)))
43.0ms	(- (* x.im y.re) (* x.re y.im))

series319.0ms

Calls

4 calls:

Slowest

175.0ms	(/ (- (* x.im y.re) (* x.re y.im)) (sqrt (+ (* y.re y.re) (* y.im y.im))))
60.0ms	(sqrt (+ (* y.re y.re) (* y.im y.im)))
47.0ms	(- (* x.im y.re) (* x.re y.im))
37.0ms	(sqrt (+ (* y.re y.re) (* y.im y.im)))

simplify18.0s

Calls

315 calls:

Slowest

477.0ms	(- (* (* x.im y.re) (* x.im y.re)) (* (* x.re y.im) (* x.re y.im)))
474.0ms	(/ (* (* (- (* x.im y.re) (* x.re y.im)) (- (* x.im y.re) (* x.re y.im))) (- (* x.im y.re) (* x.re y.im))) (* (* (sqrt (+ (* y.re y.re) (* y.im y.im))) (sqrt (+ (* y.re y.re) (* y.im y.im)))) (sqrt (+ (* y.re y.re) (* y.im y.im)))))
449.0ms	(/ (- (* x.im y.re) (* x.re y.im)) (sqrt (+ (* y.re y.re) (* y.im y.im))))
363.0ms	(sqrt (+ (pow (* y.re y.re) 3) (pow (* y.im y.im) 3)))
325.0ms	(sqrt (+ (* (* y.re y.re) (* y.re y.re)) (- (* (* y.im y.im) (* y.im y.im)) (* (* y.re y.re) (* y.im y.im)))))

prune3.0s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 23.6b

localize28.0ms

Local error

Found 3 expressions with local error:

25.9b	(/ (- (* x.im y.re) (* x.re y.im)) (+ (* y.re y.re) (* y.im y.im)))
1.1b	(- (* x.im y.re) (* x.re y.im))
0.0b	(+ (* y.re y.re) (* y.im y.im))

rewrite176.0ms

Algorithm

rewrite-expression-head

Rules

260×	`*-un-lft-identity`
144×	`add-sqr-sqrt`
92×	`associate-l`
88×	`times-frac`
65×	`distribute-lft-out`
40×	`distribute-lft-out--` `difference-of-squares` `unswap-sqr`
26×	`swap-sqr`
24×	`add-cube-cbrt`
11×	`associate-/l*`
8×	`associate-/r*`
7×	`add-log-exp`
5×	`add-cbrt-cube` `add-exp-log`
3×	`pow1` `insert-posit16`
2×	`flip3-+` `flip3--` `associate-/r/` `flip-+` `flip--` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `clear-num` `sum-log` `sub-neg` `frac-2neg` `diff-log` `div-sub` `div-exp` `div-inv`

Calls

3 calls:

Slowest

109.0ms	(/ (- (* x.im y.re) (* x.re y.im)) (+ (* y.re y.re) (* y.im y.im)))
34.0ms	(- (* x.im y.re) (* x.re y.im))
25.0ms	(+ (* y.re y.re) (* y.im y.im))

series251.0ms

Calls

3 calls:

Slowest

131.0ms	(/ (- (* x.im y.re) (* x.re y.im)) (+ (* y.re y.re) (* y.im y.im)))
72.0ms	(- (* x.im y.re) (* x.re y.im))
48.0ms	(+ (* y.re y.re) (* y.im y.im))

simplify11.5s

Calls

226 calls:

Slowest

382.0ms	(- (* (* x.im y.re) (* x.im y.re)) (* (* x.re y.im) (* x.re y.im)))
336.0ms	(- (pow (* x.im y.re) 3) (pow (* x.re y.im) 3))
335.0ms	(+ (* (* y.re y.re) (* y.re y.re)) (- (* (* y.im y.im) (* y.im y.im)) (* (* y.re y.re) (* y.im y.im))))
187.0ms	(/ (exp (* x.im y.re)) (exp (* x.re y.im)))
164.0ms	(/ (- (* (sqrt x.im) (sqrt y.re)) (* (sqrt x.re) (sqrt y.im))) (+ (* y.re y.re) (* y.im y.im)))

prune1.9s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 23.6b

localize31.0ms

Local error

Found 4 expressions with local error:

30.7b	(sqrt (+ (* y.re y.re) (* y.im y.im)))
30.7b	(sqrt (+ (* y.re y.re) (* y.im y.im)))
15.5b	(/ (- (* x.im y.re) (* x.re y.im)) (sqrt (+ (* y.re y.re) (* y.im y.im))))
1.1b	(- (* x.im y.re) (* x.re y.im))

rewrite217.0ms

Algorithm

rewrite-expression-head

Rules

314×	`*-un-lft-identity`
200×	`add-sqr-sqrt`
121×	`times-frac`
112×	`sqrt-prod`
108×	`associate-l`
70×	`distribute-lft-out`
52×	`distribute-lft-out--` `difference-of-squares` `unswap-sqr`
42×	`add-cube-cbrt`
28×	`swap-sqr`
11×	`associate-/r` `associate-/l`
6×	`pow1` `add-cbrt-cube` `sqrt-div` `add-exp-log` `add-log-exp`
4×	`insert-posit16`
3×	`flip3-+` `flip-+`
2×	`rem-sqrt-square` `sqrt-pow1` `flip3--` `pow1/2` `associate-/r/` `flip--` `associate-/l/`
1×	`cbrt-undiv` `clear-num` `sub-neg` `frac-2neg` `diff-log` `div-sub` `div-exp` `div-inv`

Calls

4 calls:

Slowest

102.0ms	(/ (- (* x.im y.re) (* x.re y.im)) (sqrt (+ (* y.re y.re) (* y.im y.im))))
41.0ms	(sqrt (+ (* y.re y.re) (* y.im y.im)))
34.0ms	(sqrt (+ (* y.re y.re) (* y.im y.im)))
30.0ms	(- (* x.im y.re) (* x.re y.im))

series346.0ms

Calls

4 calls:

Slowest

180.0ms	(/ (- (* x.im y.re) (* x.re y.im)) (sqrt (+ (* y.re y.re) (* y.im y.im))))
59.0ms	(sqrt (+ (* y.re y.re) (* y.im y.im)))
54.0ms	(sqrt (+ (* y.re y.re) (* y.im y.im)))
52.0ms	(- (* x.im y.re) (* x.re y.im))

simplify18.1s

Calls

315 calls:

Slowest

479.0ms	(/ (- (* x.im y.re) (* x.re y.im)) (sqrt (sqrt (+ (* y.re y.re) (* y.im y.im)))))
449.0ms	(/ (* (* (- (* x.im y.re) (* x.re y.im)) (- (* x.im y.re) (* x.re y.im))) (- (* x.im y.re) (* x.re y.im))) (* (* (sqrt (+ (* y.re y.re) (* y.im y.im))) (sqrt (+ (* y.re y.re) (* y.im y.im)))) (sqrt (+ (* y.re y.re) (* y.im y.im)))))
377.0ms	(- (* (* x.im y.re) (* x.im y.re)) (* (* x.re y.im) (* x.re y.im)))
338.0ms	(sqrt (+ (pow (* y.re y.re) 3) (pow (* y.im y.im) 3)))
330.0ms	(- (pow (* x.im y.re) 3) (pow (* x.re y.im) 3))

prune3.1s

Pruning

11 alts after pruning (8 fresh and 3 done)

Merged error: 23.6b

regimes517.0ms

Accuracy

0% (2.6b remaining)

Error of 26.4b against oracle of 23.8b and baseline of 26.4b

bsearch2.0ms

end0.0ms

sample1.4s

Algorithm

intervals

Results

1.1s

8414×

body

valid