Details

Time bar (total: 18.5s)

sample309.0ms

Algorithm
intervals
Results
70.0ms10×body640valid
32.0ms198×body80valid
15.0ms17×body2560valid
14.0ms13×body5120valid
10.0ms14×body1280valid
2.0ms4×body320valid

simplify56.0ms

Counts
1 → 1
Iterations
IterNodes
done35
435
330
224
117
012

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 36.7b

localize69.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))
0.0b
(+ (* re re) (* im im))
0.0b
(- (sqrt (+ (* re re) (* im im))) re)
27.8b
(sqrt (+ (* re re) (* im im)))

rewrite114.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
8×pow1 add-log-exp
7×*-un-lft-identity
5×add-cube-cbrt sqrt-prod
4×add-cbrt-cube sqrt-div add-exp-log insert-posit16
3×sqrt-pow1
2×flip3-+ flip3-- pow1/2 associate-*r/ flip-+ flip-- difference-of-squares
1×+-commutative rem-sqrt-square sum-log sub-neg diff-log pow-prod-down distribute-lft-out--
Counts
4 → 58
Calls
4 calls:
42.0ms
(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))
10.0ms
(+ (* re re) (* im im))
43.0ms
(- (sqrt (+ (* re re) (* im im))) re)
16.0ms
(sqrt (+ (* re re) (* im im)))

series618.0ms

Counts
4 → 12
Calls
4 calls:
374.0ms
(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))
83.0ms
(+ (* re re) (* im im))
79.0ms
(- (sqrt (+ (* re re) (* im im))) re)
81.0ms
(sqrt (+ (* re re) (* im im)))

simplify2.2s

Counts
70 → 70
Iterations
IterNodes
done5002
32921
2751
1265
0118

prune371.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 15.3b

localize49.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))
5.6b
(- (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im))))) re)
28.8b
(cbrt (+ (* re re) (* im im)))
28.8b
(cbrt (+ (* re re) (* im im)))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
10×cbrt-prod *-un-lft-identity add-cube-cbrt
9×associate-*r*
8×sqrt-prod
6×pow1 cbrt-div add-cbrt-cube add-exp-log add-log-exp
4×insert-posit16
3×flip3-+ associate-*l* flip-+ unswap-sqr
2×pow1/3 sqrt-div associate-*r/
1×sub-neg flip3-- diff-log pow-prod-down prod-exp *-commutative cbrt-unprod flip--
Counts
4 → 70
Calls
4 calls:
20.0ms
(* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))
16.0ms
(- (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im))))) re)
4.0ms
(cbrt (+ (* re re) (* im im)))
4.0ms
(cbrt (+ (* re re) (* im im)))

series485.0ms

Counts
4 → 12
Calls
4 calls:
141.0ms
(* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))
99.0ms
(- (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im))))) re)
122.0ms
(cbrt (+ (* re re) (* im im)))
123.0ms
(cbrt (+ (* re re) (* im im)))

simplify2.7s

Counts
82 → 82
Iterations
IterNodes
done5000
33362
2962
1313
0139

prune562.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 15.3b

localize71.0ms

Local error

Found 4 expressions with local error:

2.9b
(- (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))))) re)
27.8b
(sqrt (+ (* re re) (* im im)))
27.8b
(sqrt (+ (* re re) (* im im)))
28.8b
(cbrt (+ (* re re) (* im im)))

rewrite118.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt
7×*-un-lft-identity add-cube-cbrt
6×pow1 sqrt-prod add-log-exp
4×add-cbrt-cube sqrt-div add-exp-log insert-posit16
3×cbrt-prod flip3-+ flip-+
2×rem-sqrt-square cbrt-div sqrt-pow1 pow1/2
1×sub-neg flip3-- pow1/3 diff-log flip--
Counts
4 → 59
Calls
4 calls:
101.0ms
(- (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))))) re)
6.0ms
(sqrt (+ (* re re) (* im im)))
6.0ms
(sqrt (+ (* re re) (* im im)))
4.0ms
(cbrt (+ (* re re) (* im im)))

series366.0ms

Counts
4 → 12
Calls
4 calls:
114.0ms
(- (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))))) re)
55.0ms
(sqrt (+ (* re re) (* im im)))
50.0ms
(sqrt (+ (* re re) (* im im)))
145.0ms
(cbrt (+ (* re re) (* im im)))

simplify2.1s

Counts
71 → 71
Iterations
IterNodes
done5003
32633
2724
1261
0115

prune529.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 15.3b

localize54.0ms

Local error

Found 4 expressions with local error:

28.8b
(cbrt (+ (* re re) (* im im)))
28.8b
(cbrt (+ (* re re) (* im im)))
28.8b
(cbrt (+ (* re re) (* im im)))
28.8b
(cbrt (+ (* re re) (* im im)))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt cbrt-div *-un-lft-identity add-cube-cbrt
4×pow1 flip3-+ add-cbrt-cube pow1/3 add-exp-log flip-+ insert-posit16 add-log-exp
Counts
4 → 56
Calls
4 calls:
8.0ms
(cbrt (+ (* re re) (* im im)))
7.0ms
(cbrt (+ (* re re) (* im im)))
7.0ms
(cbrt (+ (* re re) (* im im)))
8.0ms
(cbrt (+ (* re re) (* im im)))

series519.0ms

Counts
4 → 12
Calls
4 calls:
137.0ms
(cbrt (+ (* re re) (* im im)))
116.0ms
(cbrt (+ (* re re) (* im im)))
142.0ms
(cbrt (+ (* re re) (* im im)))
124.0ms
(cbrt (+ (* re re) (* im im)))

simplify3.1s

Counts
68 → 68
Iterations
IterNodes
done5027
43720
31029
2311
1124
052

prune537.0ms

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 15.3b

regimes374.0ms

Accuracy

58.7% (8.6b remaining)

Error of 25.9b against oracle of 17.3b and baseline of 38.1b

bsearch210.0ms

Steps
ItersRangePoint
7
-2.0532513024068487e-267
-2.9454520937674122e-269
-4.685030330992167e-268
8
-4.568831681868796e-196
-5.423740348214345e-199
-5.7290891404837934e-198
6
-1.7282008439594638e+90
-3.893829520356061e+89
-1.7109531485520302e+90

simplify21.0ms

Iterations
IterNodes
done55
155
042

end0.0ms

sample2.9s

Algorithm
intervals
Results
756.0ms6014×body80valid
624.0ms282×body640valid
565.0ms676×body2560valid
383.0ms485×body1280valid
253.0ms293×body5120valid
95.0ms181×body320valid
15.0ms69×body160valid