Details

Time bar (total: 27.4s)

sample58.0ms

Algorithm
intervals
Results
42.0ms256×body80valid

simplify10.0ms

Counts
1 → 1
Iterations
IterNodes
211
111
010

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.7b

localize49.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))
29.1b
(sqrt (+ (* re re) (* im im)))

rewrite64.0ms

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

series275.0ms

Counts
3 → 9
Calls
3 calls:
34.0ms
(+ (* re re) (* im im))
176.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))
65.0ms
(sqrt (+ (* re re) (* im im)))

simplify729.0ms

Counts
86 → 86
Iterations
IterNodes
32282
2717
1265
0128

prune935.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 6.1b

localize36.0ms

Local error

Found 4 expressions with local error:

0.6b
(/ (log (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im)))))) (log 10))
29.1b
(sqrt (+ (* re re) (* im im)))
29.1b
(sqrt (+ (* re re) (* im im)))
29.1b
(sqrt (+ (* re re) (* im im)))

rewrite439.0ms

Algorithm
rewrite-expression-head
Rules
126×pow1
94×log-pow
72×times-frac
60×sqrt-div
54×cbrt-div
45×pow1/3 pow-prod-up
34×add-sqr-sqrt
31×*-un-lft-identity add-cube-cbrt
30×flip3-+ pow-plus flip-+
28×frac-times
26×log-div div-sub
25×pow-prod-down
18×associate-/l*
15×pow-sqr
14×associate-*l/
10×pow2
9×sqrt-prod
8×associate-*r/
6×add-cbrt-cube add-exp-log
5×pow3
4×associate-/r* insert-posit16 add-log-exp
3×rem-sqrt-square sqrt-pow1 pow1/2
1×cbrt-undiv clear-num frac-2neg div-exp div-inv
Counts
4 → 181
Calls
4 calls:
403.0ms
(/ (log (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im)))))) (log 10))
12.0ms
(sqrt (+ (* re re) (* im im)))
6.0ms
(sqrt (+ (* re re) (* im im)))
6.0ms
(sqrt (+ (* re re) (* im im)))

series390.0ms

Counts
4 → 12
Calls
4 calls:
202.0ms
(/ (log (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im)))))) (log 10))
61.0ms
(sqrt (+ (* re re) (* im im)))
64.0ms
(sqrt (+ (* re re) (* im im)))
64.0ms
(sqrt (+ (* re re) (* im im)))

simplify2.1s

Counts
193 → 193
Iterations
IterNodes
43739
31415
2750
1484
0275

prune2.7s

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 6.1b

localize47.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* re re) (* im im))
0.3b
(/ 1/2 (/ (log 10) (log (+ (* re re) (* im im)))))
0.6b
(/ (log 10) (log (+ (* re re) (* im im))))
30.4b
(log (+ (* re re) (* im im)))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
140×times-frac
72×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
47×pow1
43×log-pow
24×associate-/r*
12×add-exp-log
11×add-cbrt-cube
7×associate-/l*
6×div-inv add-log-exp
4×cbrt-undiv div-exp insert-posit16
3×log-prod
2×log-div clear-num frac-2neg flip3-+ flip-+
1×+-commutative sum-log rem-log-exp associate-/r/
Counts
4 → 163
Calls
4 calls:
7.0ms
(+ (* re re) (* im im))
6.0ms
(/ 1/2 (/ (log 10) (log (+ (* re re) (* im im)))))
6.0ms
(/ (log 10) (log (+ (* re re) (* im im))))
9.0ms
(log (+ (* re re) (* im im)))

series544.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(+ (* re re) (* im im))
236.0ms
(/ 1/2 (/ (log 10) (log (+ (* re re) (* im im)))))
199.0ms
(/ (log 10) (log (+ (* re re) (* im im))))
79.0ms
(log (+ (* re re) (* im im)))

simplify2.3s

Counts
175 → 175
Iterations
IterNodes
34909
21587
1545
0222

prune1.9s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 6.0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (/ (sqrt 1/2) (sqrt (log 10))) (/ (sqrt 1/2) (/ (sqrt (log 10)) (log (+ (* re re) (* im im))))))
0.4b
(/ (sqrt (log 10)) (log (+ (* re re) (* im im))))
0.5b
(/ (sqrt 1/2) (/ (sqrt (log 10)) (log (+ (* re re) (* im im)))))
30.4b
(log (+ (* re re) (* im im)))

rewrite109.0ms

Algorithm
rewrite-expression-head
Rules
896×times-frac
537×add-sqr-sqrt
521×sqrt-prod
389×*-un-lft-identity add-cube-cbrt
197×associate-*r*
169×pow1
163×log-pow
46×associate-*l*
36×associate-/r*
35×unswap-sqr
33×add-exp-log
32×add-cbrt-cube
17×div-inv
13×cbrt-undiv div-exp associate-/l*
6×prod-exp cbrt-unprod
4×insert-posit16 add-log-exp
3×log-prod
2×log-div clear-num frac-2neg associate-/r/
1×frac-times flip3-+ rem-log-exp pow-prod-down associate-*l/ associate-*r/ *-commutative flip-+
Counts
4 → 616
Calls
4 calls:
53.0ms
(* (/ (sqrt 1/2) (sqrt (log 10))) (/ (sqrt 1/2) (/ (sqrt (log 10)) (log (+ (* re re) (* im im))))))
11.0ms
(/ (sqrt (log 10)) (log (+ (* re re) (* im im))))
16.0ms
(/ (sqrt 1/2) (/ (sqrt (log 10)) (log (+ (* re re) (* im im)))))
11.0ms
(log (+ (* re re) (* im im)))

series927.0ms

Counts
4 → 12
Calls
4 calls:
293.0ms
(* (/ (sqrt 1/2) (sqrt (log 10))) (/ (sqrt 1/2) (/ (sqrt (log 10)) (log (+ (* re re) (* im im))))))
234.0ms
(/ (sqrt (log 10)) (log (+ (* re re) (* im im))))
319.0ms
(/ (sqrt 1/2) (/ (sqrt (log 10)) (log (+ (* re re) (* im im)))))
79.0ms
(log (+ (* re re) (* im im)))

simplify2.2s

Counts
628 → 628
Iterations
IterNodes
25543
11656
0506

prune9.2s

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 5.9b

regimes858.0ms

Accuracy

57.5% (10.3b remaining)

Error of 17.4b against oracle of 7.2b and baseline of 31.3b

bsearch132.0ms

Steps
ItersRangePoint
10
1.2491885959653446e+93
1.773142684841833e+103
4.799588986507124e+96
5
-1.847290244385537e+139
-5.0081114852453345e+138
-7.713582517877012e+138

simplify21.0ms

Iterations
IterNodes
254
154
043

end0.0ms

sample1.3s

Algorithm
intervals
Results
1.2s8000×body80valid