Details

Time bar (total: 8.3s)

sample19.0ms

Algorithm
intervals
Results
12.0ms256×body80valid

simplify4.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
4.0ms
(sqrt (+ (* re re) (* im im)))

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.4b

localize36.0ms

Local error

Found 2 expressions with local error:

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

rewrite26.0ms

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

series123.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
69.0ms
(sqrt (+ (* re re) (* im im)))
54.0ms
(+ (* re re) (* im im))

simplify855.0ms

Counts
14 → 34
Calls
14 calls:
Slowest
363.0ms
(sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))
241.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
150.0ms
(* (exp (* re re)) (exp (* im im)))
19.0ms
(+ (pow im 2) (pow re 2))
18.0ms
(+ (pow im 2) (pow re 2))

prune327.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 5.8b

localize44.0ms

Local error

Found 4 expressions with local error:

30.4b
(cbrt (+ (* re re) (* im im)))
30.4b
(cbrt (+ (* re re) (* im im)))
0.3b
(* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))
0.2b
(sqrt (cbrt (+ (* re re) (* im im))))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
14×cbrt-prod sqrt-prod
12×*-un-lft-identity add-cube-cbrt
9×associate-*r*
8×cbrt-div
7×pow1
6×add-cbrt-cube add-exp-log
4×flip3-+ sqrt-div flip-+ insert-posit16 add-log-exp
3×pow1/3 associate-*l* unswap-sqr
2×rem-sqrt-square sqrt-pow1 associate-*r/
1×pow1/2 pow-prod-down prod-exp *-commutative cbrt-unprod
Counts
4 → 78
Calls
4 calls:
Slowest
35.0ms
(* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))
10.0ms
(sqrt (cbrt (+ (* re re) (* im im))))
8.0ms
(cbrt (+ (* re re) (* im im)))
8.0ms
(cbrt (+ (* re re) (* im im)))

series547.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
158.0ms
(sqrt (cbrt (+ (* re re) (* im im))))
145.0ms
(* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))
129.0ms
(cbrt (+ (* re re) (* im im)))
115.0ms
(cbrt (+ (* re re) (* im im)))

simplify4.0s

Counts
56 → 90
Calls
56 calls:
Slowest
387.0ms
(+ (* (fabs (pow (+ (pow im 2) (pow re 2)) 1/3)) (pow im 1/3)) (* 1/6 (* (* (pow re 2) (fabs (pow (+ (pow im 2) (pow re 2)) 1/3))) (pow (/ 1 (pow im 5)) 1/3))))
327.0ms
(* (* (* (fabs (cbrt (+ (* re re) (* im im)))) (fabs (cbrt (+ (* re re) (* im im))))) (fabs (cbrt (+ (* re re) (* im im))))) (* (* (sqrt (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im))))) (sqrt (cbrt (+ (* re re) (* im im))))))
285.0ms
(sqrt (cbrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im))))))
281.0ms
(cbrt (+ (pow (* re re) 3) (pow (* im im) 3)))
260.0ms
(sqrt (cbrt (+ (pow (* re re) 3) (pow (* im im) 3))))

prune966.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 5.8b

localize1.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

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

series0.0ms

Counts
0 → 0
Calls
0 calls:
Slowest

simplify0.0ms

Counts
0 → 0
Calls
0 calls:
Slowest

prune3.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 5.8b

localize3.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

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

series0.0ms

Counts
0 → 0
Calls
0 calls:
Slowest

simplify0.0ms

Counts
0 → 0
Calls
0 calls:
Slowest

prune0.0ms

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 5.8b

regimes375.0ms

Accuracy

58.2% (9.1b remaining)

Error of 16.8b against oracle of 7.7b and baseline of 29.6b

bsearch59.0ms

end0.0ms

sample759.0ms

Algorithm
intervals
Results
580.0ms8000×body80valid