Details

Time bar (total: 23.1s)

sample47.0ms

Algorithm
intervals
Results
27.0ms256×body80valid

simplify9.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01012
11112
done1112

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 32.3b

localize24.0ms

Local error

Found 2 expressions with local error:

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

rewrite73.0ms

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

series285.0ms

Counts
2 → 6
Calls
2 calls:
203.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
82.0ms
(sqrt (+ (* re re) (* im im)))

simplify4.3s

Counts
69 → 69
Iterations

Useful iterations: 3 (292.0ms)

IterNodesCost
01161191
12221120
24511046
38771032
419591032
546371032
done50001032

prune305.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 5.4b

localize28.0ms

Local error

Found 3 expressions with local error:

0.3b
(/ 1 (/ (log 10.0) (log (sqrt (+ (* re re) (* im im))))))
0.6b
(/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))
29.7b
(sqrt (+ (* re re) (* im im)))

rewrite80.0ms

Algorithm
rewrite-expression-head
Rules
204×times-frac
94×log-pow
90×add-sqr-sqrt
89×add-cube-cbrt *-un-lft-identity
78×pow1
34×associate-/r*
22×sqrt-pow1 pow1/2
16×add-exp-log
10×add-cbrt-cube
8×div-exp
7×associate-/l*
6×div-inv
4×cbrt-undiv
3×sqrt-prod add-log-exp
2×rec-exp frac-2neg sqrt-div 1-exp clear-num
1×rem-sqrt-square pow-flip flip3-+ associate-/r/ flip-+ inv-pow
Counts
3 → 197
Calls
3 calls:
34.0ms
(/ 1 (/ (log 10.0) (log (sqrt (+ (* re re) (* im im))))))
19.0ms
(/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))
16.0ms
(sqrt (+ (* re re) (* im im)))

series478.0ms

Counts
3 → 9
Calls
3 calls:
171.0ms
(/ 1 (/ (log 10.0) (log (sqrt (+ (* re re) (* im im))))))
240.0ms
(/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))
67.0ms
(sqrt (+ (* re re) (* im im)))

simplify4.3s

Counts
206 → 206
Iterations

Useful iterations: 4 (2.6s)

IterNodesCost
02374333
14993759
29393450
319293370
438593368
done50023368

prune407.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 5.3b

localize22.0ms

Local error

Found 3 expressions with local error:

0.3b
(/ (/ 1 (sqrt (log 10.0))) (/ (sqrt (log 10.0)) (log (sqrt (+ (* re re) (* im im))))))
0.5b
(/ (sqrt (log 10.0)) (log (sqrt (+ (* re re) (* im im)))))
29.7b
(sqrt (+ (* re re) (* im im)))

rewrite281.0ms

Algorithm
rewrite-expression-head
Rules
3271×times-frac
1219×sqrt-prod
1205×add-sqr-sqrt
1204×add-cube-cbrt *-un-lft-identity
874×log-pow
688×pow1
191×sqrt-pow1 pow1/2
75×div-inv
52×associate-/r*
32×associate-/l*
27×add-exp-log
17×div-exp add-cbrt-cube
9×cbrt-undiv
3×add-log-exp
2×rec-exp frac-2neg sqrt-div 1-exp clear-num
1×rem-sqrt-square flip3-+ associate-/r/ flip-+ associate-/l/
Counts
3 → 1327
Calls
3 calls:
60.0ms
(/ (/ 1 (sqrt (log 10.0))) (/ (sqrt (log 10.0)) (log (sqrt (+ (* re re) (* im im))))))
10.0ms
(/ (sqrt (log 10.0)) (log (sqrt (+ (* re re) (* im im)))))
16.0ms
(sqrt (+ (* re re) (* im im)))

series514.0ms

Counts
3 → 9
Calls
3 calls:
201.0ms
(/ (/ 1 (sqrt (log 10.0))) (/ (sqrt (log 10.0)) (log (sqrt (+ (* re re) (* im im))))))
253.0ms
(/ (sqrt (log 10.0)) (log (sqrt (+ (* re re) (* im im)))))
60.0ms
(sqrt (+ (* re re) (* im im)))

simplify2.2s

Counts
1336 → 1336
Iterations

Useful iterations: done (2.1s)

IterNodesCost
0102050440
1288241835
done500039216

prune1.3s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 5.3b

localize17.0ms

Local error

Found 3 expressions with local error:

0.2b
(* (/ 1 (sqrt (log 10.0))) (* (/ 1 (sqrt (log 10.0))) (log (sqrt (+ (* re re) (* im im))))))
0.3b
(* (/ 1 (sqrt (log 10.0))) (log (sqrt (+ (* re re) (* im im)))))
29.7b
(sqrt (+ (* re re) (* im im)))

rewrite162.0ms

Algorithm
rewrite-expression-head
Rules
77×add-exp-log
58×add-sqr-sqrt
50×associate-*l*
47×*-un-lft-identity sqrt-prod
46×times-frac
45×add-cube-cbrt
40×prod-exp
36×log-prod
30×distribute-rgt-in distribute-lft-in
29×add-cbrt-cube
20×div-exp
19×pow1
12×cbrt-unprod
10×rec-exp 1-exp
9×log-pow
7×associate-*r*
6×cbrt-undiv
5×unswap-sqr
4×pow-prod-down associate-*l/
3×add-log-exp
2×sqrt-pow1 pow1/2 sqrt-div *-commutative div-inv
1×frac-times rem-sqrt-square flip3-+ associate-*r/ flip-+
Counts
3 → 168
Calls
3 calls:
99.0ms
(* (/ 1 (sqrt (log 10.0))) (* (/ 1 (sqrt (log 10.0))) (log (sqrt (+ (* re re) (* im im))))))
43.0ms
(* (/ 1 (sqrt (log 10.0))) (log (sqrt (+ (* re re) (* im im)))))
9.0ms
(sqrt (+ (* re re) (* im im)))

series569.0ms

Counts
3 → 9
Calls
3 calls:
197.0ms
(* (/ 1 (sqrt (log 10.0))) (* (/ 1 (sqrt (log 10.0))) (log (sqrt (+ (* re re) (* im im))))))
315.0ms
(* (/ 1 (sqrt (log 10.0))) (log (sqrt (+ (* re re) (* im im)))))
56.0ms
(sqrt (+ (* re re) (* im im)))

simplify4.5s

Counts
177 → 177
Iterations

Useful iterations: 3 (1.5s)

IterNodesCost
02364464
16033758
214302776
327202702
done50002702

prune411.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 5.2b

regimes1.1s

Accuracy

57.3% (10.7b remaining)

Error of 18.1b against oracle of 7.4b and baseline of 32.6b

bsearch182.0ms

Steps
ItersRangePoint
5
4.1892021600748604e+22
1.264938644655178e+23
1.2464593188755005e+23
9
1.5534809022725981e-305
5.119245053323416e-298
4.769025653725655e-305
3
-4.736741763343511e-217
-3.5701351023220896e-217
-3.743447547042941e-217
8
-5.849132443619543e+79
-3.9434701961303756e+75
-5.768753051125152e+79

simplify7.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04491
15391
done5391

end0.0ms

sample1.4s

Algorithm
intervals
Results
1.1s8000×body80valid