Details

Time bar (total: 1.0m)

sample46.0ms

Algorithm
intervals
Results
26.0ms256×body80valid

simplify9.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01012
11112
done1112

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.5b

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

rewrite95.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:
17.0ms
(+ (* re re) (* im im))
57.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
15.0ms
(sqrt (+ (* re re) (* im im)))

series342.0ms

Counts
3 → 9
Calls
3 calls:
49.0ms
(+ (* re re) (* im im))
225.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
68.0ms
(sqrt (+ (* re re) (* im im)))

simplify38.4s

Counts
83 → 83
Iterations

Useful iterations: done (38.4s)

IterNodesCost
01251357
15871269
done50001193

prune415.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 9.3b

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite81.0ms

Algorithm
rewrite-expression-head
Rules
204×times-frac
94×log-pow
91×add-sqr-sqrt
90×add-cube-cbrt *-un-lft-identity
79×pow1
34×associate-/r*
22×sqrt-pow1 pow1/2
17×add-exp-log
11×add-cbrt-cube
8×div-exp
7×associate-/l*
6×div-inv add-log-exp
4×cbrt-undiv
3×sqrt-prod
2×rec-exp frac-2neg flip3-+ sqrt-div 1-exp clear-num flip-+
1×+-commutative rem-sqrt-square pow-flip sum-log associate-/r/ inv-pow
Counts
4 → 208
Calls
4 calls:
9.0ms
(+ (* re re) (* im im))
16.0ms
(/ 1 (/ (log 10.0) (log (sqrt (+ (* re re) (* im im))))))
17.0ms
(/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))
24.0ms
(sqrt (+ (* re re) (* im im)))

series548.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(+ (* re re) (* im im))
229.0ms
(/ 1 (/ (log 10.0) (log (sqrt (+ (* re re) (* im im))))))
222.0ms
(/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))
60.0ms
(sqrt (+ (* re re) (* im im)))

simplify5.0s

Counts
220 → 220
Iterations

Useful iterations: done (5.0s)

IterNodesCost
02464499
117943841
done50003681

prune543.0ms

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 9.2b

localize33.0ms

Local error

Found 4 expressions with local error:

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

rewrite239.0ms

Algorithm
rewrite-expression-head
Rules
114×add-exp-log
69×prod-exp
45×add-cbrt-cube
38×add-sqr-sqrt
28×*-un-lft-identity
26×add-cube-cbrt associate-*l*
25×times-frac
23×pow1 cbrt-unprod
22×div-exp
21×log-prod
15×distribute-rgt-in distribute-lft-in
14×sqrt-prod
11×rec-exp 1-exp
9×pow-prod-down
7×cbrt-undiv
6×associate-*l/ add-log-exp
5×associate-*r* log-pow unswap-sqr
2×log-div flip3-+ *-commutative flip-+
1×+-commutative frac-times associate-*r/ rem-log-exp sum-log div-inv
Counts
4 → 144
Calls
4 calls:
9.0ms
(+ (* re re) (* im im))
158.0ms
(* (* (/ 1 (sqrt (log 10.0))) 1/2) (* (/ 1 (sqrt (log 10.0))) (log (+ (* re re) (* im im)))))
57.0ms
(* (/ 1 (sqrt (log 10.0))) (log (+ (* re re) (* im im))))
7.0ms
(log (+ (* re re) (* im im)))

series621.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(+ (* re re) (* im im))
229.0ms
(* (* (/ 1 (sqrt (log 10.0))) 1/2) (* (/ 1 (sqrt (log 10.0))) (log (+ (* re re) (* im im)))))
251.0ms
(* (/ 1 (sqrt (log 10.0))) (log (+ (* re re) (* im im))))
92.0ms
(log (+ (* re re) (* im im)))

simplify5.2s

Counts
156 → 156
Iterations

Useful iterations: done (5.2s)

IterNodesCost
02313770
122482768
done50012269

prune480.0ms

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 9.2b

localize24.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (/ 1 (sqrt (log 10.0))) (+ (* (log (cbrt (+ (* re re) (* im im)))) 2) (log (cbrt (+ (* re re) (* im im))))))
0.3b
(+ (* (log (cbrt (+ (* re re) (* im im)))) 2) (log (cbrt (+ (* re re) (* im im)))))
30.1b
(cbrt (+ (* re re) (* im im)))
30.1b
(cbrt (+ (* re re) (* im im)))

rewrite139.0ms

Algorithm
rewrite-expression-head
Rules
35×add-sqr-sqrt
25×*-un-lft-identity times-frac associate-*l*
23×add-cube-cbrt
14×sqrt-prod
13×add-exp-log
9×pow1 cbrt-prod add-cbrt-cube
6×cbrt-div associate-+r+ log-prod flip3-+ flip-+
5×add-log-exp unswap-sqr
4×prod-exp
3×associate-*r* log-pow
2×frac-times associate-+r- log-div pow1/3 associate-*r/ div-exp cbrt-unprod
1×cbrt-undiv +-commutative distribute-rgt-in rec-exp distribute-lft-in 1-exp pow-prod-down associate-*l/ sum-log *-commutative div-inv
Counts
4 → 100
Calls
4 calls:
97.0ms
(* (/ 1 (sqrt (log 10.0))) (+ (* (log (cbrt (+ (* re re) (* im im)))) 2) (log (cbrt (+ (* re re) (* im im))))))
24.0ms
(+ (* (log (cbrt (+ (* re re) (* im im)))) 2) (log (cbrt (+ (* re re) (* im im)))))
5.0ms
(cbrt (+ (* re re) (* im im)))
6.0ms
(cbrt (+ (* re re) (* im im)))

series857.0ms

Counts
4 → 12
Calls
4 calls:
412.0ms
(* (/ 1 (sqrt (log 10.0))) (+ (* (log (cbrt (+ (* re re) (* im im)))) 2) (log (cbrt (+ (* re re) (* im im))))))
136.0ms
(+ (* (log (cbrt (+ (* re re) (* im im)))) 2) (log (cbrt (+ (* re re) (* im im)))))
157.0ms
(cbrt (+ (* re re) (* im im)))
152.0ms
(cbrt (+ (* re re) (* im im)))

simplify6.6s

Counts
112 → 112
Iterations

Useful iterations: done (6.6s)

IterNodesCost
01813116
113502865
done50011996

prune708.0ms

Pruning

20 alts after pruning (18 fresh and 2 done)

Merged error: 9.2b

regimes1.3s

Accuracy

57.7% (10.4b remaining)

Error of 17.8b against oracle of 7.4b and baseline of 32.0b

bsearch124.0ms

Steps
ItersRangePoint
8
9.20494146023971e+137
8.337939306029303e+141
1.2449882138840628e+138
7
-5.792006846201835e+113
-3.7885935661345695e+111
-1.1564076018637175e+112

simplify48.0ms

Iterations

Useful iterations: 2 (13.0ms)

IterNodesCost
03972
17170
29268
310168
410268
done10268

end0.0ms

sample1.0s

Algorithm
intervals
Results
766.0ms8000×body80valid