Details

Time bar (total: 28.8s)

sample63.0ms

Algorithm
intervals
Results
48.0ms256×body80valid

simplify16.0ms

Calls
1 calls:
Slowest
16.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.8b

localize18.0ms

Local error

Found 3 expressions with local error:

30.3b
(sqrt (+ (* re re) (* im im)))
0.6b
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))
0.0b
(+ (* re re) (* im im))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt times-frac
14×*-un-lft-identity add-cube-cbrt
8×log-pow
7×pow1
5×add-cbrt-cube pow1/2 add-exp-log associate-/l* add-log-exp
4×sqrt-div
3×associate-/r* 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
Calls
3 calls:
Slowest
13.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))
5.0ms
(+ (* re re) (* im im))
2.0ms
(sqrt (+ (* re re) (* im im)))

series319.0ms

Calls
3 calls:
Slowest
222.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))
49.0ms
(+ (* re re) (* im im))
48.0ms
(sqrt (+ (* re re) (* im im)))

simplify1.7s

Calls
55 calls:
Slowest
207.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
186.0ms
(/ (* (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im))))) (log (sqrt (+ (* re re) (* im im))))) (* (* (log 10) (log 10)) (log 10)))
171.0ms
(/ (log (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))) (log 10))
121.0ms
(* -1 (/ (log (/ 1 re)) (log 10)))
113.0ms
(sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))

prune844.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 7.1b

localize33.0ms

Local error

Found 4 expressions with local error:

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

rewrite136.0ms

Algorithm
rewrite-expression-head
Rules
64×pow1
60×sqrt-div
54×cbrt-div
48×log-pow
45×times-frac
30×add-sqr-sqrt flip3-+ flip-+
28×frac-times pow-prod-up
27×*-un-lft-identity add-cube-cbrt
26×log-div div-sub
24×pow1/3
20×pow-plus pow-prod-down
15×associate-/l*
14×associate-*l/
9×sqrt-prod
8×pow2 associate-*r/
6×add-cbrt-cube add-exp-log
4×pow3 insert-posit16 add-log-exp
3×rem-sqrt-square associate-/r* pow1/2
1×cbrt-undiv clear-num frac-2neg div-exp div-inv
Calls
4 calls:
Slowest
124.0ms
(/ (log (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im)))))) (log 10))
5.0ms
(sqrt (+ (* re re) (* im im)))
2.0ms
(sqrt (+ (* re re) (* im im)))
2.0ms
(sqrt (+ (* re re) (* im im)))

series306.0ms

Calls
4 calls:
Slowest
190.0ms
(/ (log (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im)))))) (log 10))
40.0ms
(sqrt (+ (* re re) (* im im)))
38.0ms
(sqrt (+ (* re re) (* im im)))
37.0ms
(sqrt (+ (* re re) (* im im)))

simplify11.8s

Calls
160 calls:
Slowest
675.0ms
(/ (log (* (* (cbrt (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))))) (log 10))
378.0ms
(/ (log (* (* (cbrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))) (cbrt (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))))) (cbrt (sqrt (+ (* re re) (* im im)))))) (log 10))
335.0ms
(/ (log (* (* (cbrt (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))) (cbrt (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))))) (cbrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))))) (log 10))
333.0ms
(/ (log (* (* (cbrt (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))) (cbrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3))))) (cbrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))))) (log 10))
332.0ms
(/ (log (* (* (cbrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))))) (log 10))

prune2.0s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 7.1b

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
24×times-frac
22×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
20×associate-/r*
12×pow1
8×log-pow
7×add-exp-log
6×add-cbrt-cube add-log-exp
4×insert-posit16
3×log-prod div-inv associate-/l*
2×log-div clear-num frac-2neg flip3-+ flip-+
1×cbrt-undiv +-commutative sum-log div-exp rem-log-exp associate-/r/
Calls
4 calls:
Slowest
4.0ms
(/ (log 10) (log (+ (* re re) (* im im))))
2.0ms
(+ (* re re) (* im im))
2.0ms
(log (+ (* re re) (* im im)))
1.0ms
(/ 1/2 (/ (log 10) (log (+ (* re re) (* im im)))))

series467.0ms

Calls
4 calls:
Slowest
175.0ms
(/ (log 10) (log (+ (* re re) (* im im))))
168.0ms
(/ 1/2 (/ (log 10) (log (+ (* re re) (* im im)))))
76.0ms
(log (+ (* re re) (* im im)))
48.0ms
(+ (* re re) (* im im))

simplify1.7s

Calls
68 calls:
Slowest
216.0ms
(log (- (* (* re re) (* re re)) (* (* im im) (* im im))))
163.0ms
(/ (* (* (log 10) (log 10)) (log 10)) (* (* (log (+ (* re re) (* im im))) (log (+ (* re re) (* im im)))) (log (+ (* re re) (* im im)))))
110.0ms
(* -1 (/ (log (/ 1 re)) (log 10)))
102.0ms
(- (* 2 (log (/ -1 re))))
87.0ms
(* -1 (/ (log (/ -1 re)) (log 10)))

prune958.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 7.0b

localize10.0ms

Local error

Found 4 expressions with local error:

30.3b
(sqrt (+ (* re re) (* im im)))
0.6b
(/ (log (cbrt (sqrt (+ (* re re) (* im im))))) (log 10))
0.5b
(cbrt (sqrt (+ (* re re) (* im im))))
0.4b
(* 3 (/ (log (cbrt (sqrt (+ (* re re) (* im im))))) (log 10)))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
30×times-frac
27×add-sqr-sqrt
26×*-un-lft-identity add-cube-cbrt
19×associate-*r*
14×log-pow
11×pow1
8×pow1/3
6×cbrt-prod add-cbrt-cube sqrt-div add-exp-log sqrt-prod
5×associate-/l*
4×cbrt-div insert-posit16 add-log-exp
3×associate-/r* flip3-+ flip-+
2×log-div div-sub div-inv
1×cbrt-undiv rem-sqrt-square clear-num frac-2neg pow1/2 div-exp associate-*r/ *-commutative
Calls
4 calls:
Slowest
11.0ms
(/ (log (cbrt (sqrt (+ (* re re) (* im im))))) (log 10))
3.0ms
(* 3 (/ (log (cbrt (sqrt (+ (* re re) (* im im))))) (log 10)))
2.0ms
(sqrt (+ (* re re) (* im im)))
2.0ms
(cbrt (sqrt (+ (* re re) (* im im))))

series617.0ms

Calls
4 calls:
Slowest
233.0ms
(* 3 (/ (log (cbrt (sqrt (+ (* re re) (* im im))))) (log 10)))
220.0ms
(/ (log (cbrt (sqrt (+ (* re re) (* im im))))) (log 10))
103.0ms
(cbrt (sqrt (+ (* re re) (* im im))))
62.0ms
(sqrt (+ (* re re) (* im im)))

simplify3.5s

Calls
85 calls:
Slowest
453.0ms
(* 3 (/ (log (pow im 1/3)) (log 10)))
371.0ms
(* 3 (/ (log (pow (/ 1 re) -1/3)) (log 10)))
225.0ms
(cbrt (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))))
219.0ms
(/ (log (cbrt (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))))) (log 10))
205.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))

prune1.2s

Pruning

18 alts after pruning (17 fresh and 1 done)

Merged error: 7.0b

regimes1.5s

Accuracy

56.9% (10.1b remaining)

Error of 17.5b against oracle of 7.5b and baseline of 30.8b

bsearch269.0ms

end0.0ms

sample1.3s

Algorithm
intervals
Results
1.1s8000×body80valid