Details

Time bar (total: 15.5s)

sample27.0ms

Algorithm
intervals
Results
14.0ms256×body80valid

simplify14.0ms

Counts
1 → 1

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.6b

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* re re) (* im im))
0.6b
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
27.4b
(sqrt (+ (* re re) (* im im)))

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
24×times-frac
22×log-pow
21×pow1
17×add-sqr-sqrt
16×add-cube-cbrt *-un-lft-identity
6×sqrt-pow1 pow1/2 associate-/l*
5×add-exp-log add-cbrt-cube add-log-exp
4×sqrt-div associate-/r*
3×flip3-+ sqrt-prod flip-+
2×log-div div-sub
1×cbrt-undiv +-commutative rem-sqrt-square frac-2neg div-exp clear-num sum-log div-inv
Counts
3 → 74
Calls
3 calls:
8.0ms
(+ (* re re) (* im im))
39.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
8.0ms
(sqrt (+ (* re re) (* im im)))

series312.0ms

Counts
3 → 9
Calls
3 calls:
48.0ms
(+ (* re re) (* im im))
196.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
67.0ms
(sqrt (+ (* re re) (* im im)))

simplify1.3s

Counts
83 → 83

prune358.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 5.8b

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* re re) (* im im))
0.3b
(* (/ (/ 1 2) (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
0.4b
(/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))
28.4b
(log (+ (* re re) (* im im)))

rewrite206.0ms

Algorithm
rewrite-expression-head
Rules
254×times-frac
195×add-sqr-sqrt
121×*-un-lft-identity
115×add-cube-cbrt
104×sqrt-prod
95×associate-*l*
44×pow1
42×add-exp-log
38×log-pow
32×associate-*r*
27×add-cbrt-cube
21×unswap-sqr
18×div-exp
10×cbrt-undiv prod-exp div-inv
7×associate-/r*
6×cbrt-unprod add-log-exp
4×log-div associate-/l*
3×log-prod flip3-+ flip-+
2×rec-exp 1-exp div-sub
1×+-commutative frac-times frac-2neg associate-*r/ rem-log-exp pow-prod-down associate-*l/ clear-num sum-log *-commutative
Counts
4 → 254
Calls
4 calls:
8.0ms
(+ (* re re) (* im im))
117.0ms
(* (/ (/ 1 2) (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
48.0ms
(/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))
7.0ms
(log (+ (* re re) (* im im)))

series583.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(+ (* re re) (* im im))
191.0ms
(* (/ (/ 1 2) (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
287.0ms
(/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))
73.0ms
(log (+ (* re re) (* im im)))

simplify1.5s

Counts
266 → 266

prune1.1s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 5.7b

localize26.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (/ (sqrt (/ 1 2)) (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
0.4b
(/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))
0.5b
(* (/ (sqrt (/ 1 2)) (sqrt 1)) (* (/ (sqrt (/ 1 2)) (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))
28.4b
(log (+ (* re re) (* im im)))

rewrite436.0ms

Algorithm
rewrite-expression-head
Rules
435×times-frac
356×sqrt-prod
311×add-sqr-sqrt
216×associate-*l*
215×*-un-lft-identity
209×add-cube-cbrt
60×add-exp-log
59×add-cbrt-cube
52×pow1
41×log-pow
33×associate-*r*
27×unswap-sqr
22×prod-exp cbrt-unprod
18×cbrt-undiv div-exp
17×div-inv
7×associate-/r*
6×frac-times associate-*r/
4×log-div pow-prod-down associate-*l/ associate-/l* add-log-exp
3×log-prod
2×flip3-+ div-sub *-commutative flip-+
1×frac-2neg rem-log-exp clear-num
Counts
4 → 400
Calls
4 calls:
154.0ms
(* (/ (sqrt (/ 1 2)) (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
46.0ms
(/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))
187.0ms
(* (/ (sqrt (/ 1 2)) (sqrt 1)) (* (/ (sqrt (/ 1 2)) (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))
7.0ms
(log (+ (* re re) (* im im)))

series921.0ms

Counts
4 → 12
Calls
4 calls:
239.0ms
(* (/ (sqrt (/ 1 2)) (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
257.0ms
(/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))
362.0ms
(* (/ (sqrt (/ 1 2)) (sqrt 1)) (* (/ (sqrt (/ 1 2)) (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))
62.0ms
(log (+ (* re re) (* im im)))

simplify884.0ms

Counts
412 → 412

prune2.1s

Pruning

18 alts after pruning (17 fresh and 1 done)

Merged error: 5.6b

localize50.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))
1.0b
(* (cbrt (/ 1 2)) (cbrt (/ 1 2)))
1.6b
(* (cbrt (log 10.0)) (cbrt (log 10.0)))
28.4b
(log (+ (* re re) (* im im)))

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
104×cbrt-prod
93×add-sqr-sqrt
57×*-un-lft-identity
52×times-frac
45×add-cube-cbrt
33×pow1
27×swap-sqr
23×associate-*r* associate-*l*
20×unswap-sqr
18×pow1/3
9×add-exp-log sqrt-pow1
7×log-pow
6×pow-prod-down pow-sqr pow-prod-up div-inv
4×cbrt-div add-cbrt-cube add-log-exp
3×pow2 log-prod pow-plus
2×log-div prod-exp *-commutative cbrt-unprod
1×frac-times rem-sqrt-square flip3-+ pow1/2 associate-*r/ rem-log-exp associate-*l/ sqrt-prod flip-+
Counts
4 → 165
Calls
4 calls:
6.0ms
(sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))
44.0ms
(* (cbrt (/ 1 2)) (cbrt (/ 1 2)))
15.0ms
(* (cbrt (log 10.0)) (cbrt (log 10.0)))
13.0ms
(log (+ (* re re) (* im im)))

series60.0ms

Counts
4 → 6
Calls
4 calls:
0.0ms
(sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))
0.0ms
(* (cbrt (/ 1 2)) (cbrt (/ 1 2)))
0.0ms
(* (cbrt (log 10.0)) (cbrt (log 10.0)))
59.0ms
(log (+ (* re re) (* im im)))

simplify771.0ms

Counts
171 → 171

prune1.0s

Pruning

20 alts after pruning (18 fresh and 2 done)

Merged error: 5.6b

regimes986.0ms

Accuracy

57.7% (10.2b remaining)

Error of 17.6b against oracle of 7.3b and baseline of 31.5b

bsearch182.0ms

Steps
ItersRangePoint
9
1.5452202130089212e+114
1.5143233905888044e+120
7.2397448035239325e+115
9
-2.0350997751618612e+124
-4.455739765009825e+115
-6.07069681777005e+119

simplify1.4s

end0.0ms

sample1.2s

Algorithm
intervals
Results
836.0ms8000×body80valid