Details

Time bar (total: 6.8s)

sample19.0ms

Algorithm
intervals
Results
12.0ms256×body80valid

simplify5.0ms

Calls
1 calls:
Slowest
5.0ms
(sqrt (+ (* re re) (* im im)))

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.5b

localize10.0ms

Local error

Found 2 expressions with local error:

30.5b
(sqrt (+ (* re re) (* im im)))
0.0b
(+ (* re re) (* im im))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt add-log-exp
3×*-un-lft-identity add-cube-cbrt sqrt-prod
2×pow1 flip3-+ add-cbrt-cube sqrt-div add-exp-log flip-+ insert-posit16
1×+-commutative rem-sqrt-square sum-log pow1/2
Calls
2 calls:
Slowest
3.0ms
(+ (* re re) (* im im))
2.0ms
(sqrt (+ (* re re) (* im im)))

series99.0ms

Calls
2 calls:
Slowest
59.0ms
(+ (* re re) (* im im))
41.0ms
(sqrt (+ (* re re) (* im im)))

simplify439.0ms

Calls
13 calls:
Slowest
253.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
82.0ms
(sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))
19.0ms
(* (exp (* re re)) (exp (* im im)))
15.0ms
(sqrt (sqrt (+ (* re re) (* im im))))
14.0ms
(sqrt (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))))

prune286.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 6.8b

localize5.0ms

Local error

Found 4 expressions with local error:

30.5b
(sqrt (+ (* re re) (* im im)))
30.5b
(sqrt (+ (* re re) (* im im)))
0.5b
(* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))))
0.0b
(+ (* re re) (* im im))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
28×sqrt-div
24×sqrt-prod
14×add-sqr-sqrt
12×*-un-lft-identity add-cube-cbrt
9×pow1 flip3-+ associate-*r* associate-*l* flip-+
6×add-cbrt-cube pow1/2 add-exp-log add-log-exp
4×frac-times insert-posit16
2×rem-sqrt-square pow-prod-down associate-*l/ associate-*r/ pow-prod-up
1×pow2 +-commutative sum-log rem-square-sqrt pow-plus sqrt-unprod prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
14.0ms
(* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))))
5.0ms
(+ (* re re) (* im im))
2.0ms
(sqrt (+ (* re re) (* im im)))
2.0ms
(sqrt (+ (* re re) (* im im)))

series181.0ms

Calls
4 calls:
Slowest
59.0ms
(* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))))
48.0ms
(sqrt (+ (* re re) (* im im)))
42.0ms
(sqrt (+ (* re re) (* im im)))
31.0ms
(+ (* re re) (* im im))

simplify3.4s

Calls
65 calls:
Slowest
274.0ms
(* (sqrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))) (sqrt (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))))
272.0ms
(* (sqrt (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))) (sqrt (sqrt (- (* re re) (* im im)))))
257.0ms
(* (sqrt (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))) (sqrt (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))))
248.0ms
(* (sqrt (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))) (sqrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))))
235.0ms
(sqrt (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im))))))

prune973.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 6.8b

localize2.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Calls
0 calls:
Slowest

series0.0ms

Calls
0 calls:
Slowest

simplify0.0ms

Calls
0 calls:
Slowest

prune3.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 6.8b

localize0.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Calls
0 calls:
Slowest

series0.0ms

Calls
0 calls:
Slowest

simplify0.0ms

Calls
0 calls:
Slowest

prune0.0ms

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 6.8b

regimes389.0ms

Accuracy

55% (10.0b remaining)

Error of 17.7b against oracle of 7.8b and baseline of 29.9b

bsearch112.0ms

end0.0ms

sample916.0ms

Algorithm
intervals
Results
732.0ms8000×body80valid