Details

Time bar (total: 53.3s)

sample48.0ms

Algorithm
intervals
Results
36.0ms256×body80valid

simplify9.0ms

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

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.8b

localize19.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))

rewrite68.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
Calls
3 calls:
Slowest
47.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))
14.0ms
(+ (* re re) (* im im))
6.0ms
(sqrt (+ (* re re) (* im im)))

series266.0ms

Calls
3 calls:
Slowest
175.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))
53.0ms
(sqrt (+ (* re re) (* im im)))
38.0ms
(+ (* re re) (* im im))

simplify3.4s

Calls
76 calls:
Slowest
663.0ms
(/ (log (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))) (log 10))
465.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)))
345.0ms
(/ (log (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))) (log 10))
276.0ms
(sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))
254.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))

prune986.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 7.1b

localize38.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))

rewrite367.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
Calls
4 calls:
Slowest
340.0ms
(/ (log (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im)))))) (log 10))
8.0ms
(sqrt (+ (* re re) (* im im)))
7.0ms
(sqrt (+ (* re re) (* im im)))
6.0ms
(sqrt (+ (* re re) (* im im)))

series325.0ms

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

simplify15.9s

Calls
221 calls:
Slowest
408.0ms
(/ (log (* (* (cbrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))) (cbrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3))))) (cbrt (sqrt (+ (* re re) (* im im)))))) (log 10))
399.0ms
(/ (log (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))))) (log 10))
389.0ms
(/ (log (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3))))) (cbrt (sqrt (+ (* re re) (* im im)))))) (log 10))
387.0ms
(/ (log (* (* (cbrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im)))))) (log 10))
384.0ms
(/ (log (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3))))) (cbrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))))) (log 10))

prune2.6s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 7.1b

localize26.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))

rewrite34.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/
Calls
4 calls:
Slowest
13.0ms
(+ (* re re) (* im im))
5.0ms
(/ 1/2 (/ (log 10) (log (+ (* re re) (* im im)))))
5.0ms
(/ (log 10) (log (+ (* re re) (* im im))))
5.0ms
(log (+ (* re re) (* im im)))

series448.0ms

Calls
4 calls:
Slowest
189.0ms
(/ 1/2 (/ (log 10) (log (+ (* re re) (* im im)))))
167.0ms
(/ (log 10) (log (+ (* re re) (* im im))))
61.0ms
(log (+ (* re re) (* im im)))
30.0ms
(+ (* re re) (* im im))

simplify10.4s

Calls
206 calls:
Slowest
509.0ms
(/ (* (* (log 10) (log 10)) (log 10)) (* (* (log (+ (* re re) (* im im))) (log (+ (* re re) (* im im)))) (log (+ (* re re) (* im im)))))
438.0ms
(/ (* (* 1/2 1/2) 1/2) (* (* (/ (log 10) (log (+ (* re re) (* im im)))) (/ (log 10) (log (+ (* re re) (* im im))))) (/ (log 10) (log (+ (* re re) (* im im))))))
415.0ms
(/ (* (cbrt 1/2) (cbrt 1/2)) (/ (* (cbrt (log 10)) (cbrt (log 10))) (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im)))))))
372.0ms
(log (+ (pow (* re re) 3) (pow (* im im) 3)))
273.0ms
(/ (* (cbrt 1/2) (cbrt 1/2)) (/ 1 (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im)))))))

prune1.9s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 7.0b

localize51.0ms

Local error

Found 4 expressions with local error:

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

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
94×sqrt-prod
88×times-frac
74×add-sqr-sqrt
60×*-un-lft-identity add-cube-cbrt
50×associate-*l*
47×associate-*r*
31×add-exp-log
30×add-cbrt-cube
25×pow1
14×log-pow
12×prod-exp cbrt-unprod
6×cbrt-undiv div-exp add-log-exp
5×unswap-sqr
4×pow-prod-down associate-*r/ insert-posit16
3×log-prod
2×log-div flip3-+ *-commutative flip-+ div-inv
1×frac-times +-commutative sum-log rem-log-exp associate-*l/
Calls
4 calls:
Slowest
48.0ms
(* (/ (sqrt 1/2) (sqrt (log 10))) (* (log (+ (* im im) (* re re))) (/ (sqrt 1/2) (sqrt (log 10)))))
28.0ms
(* (log (+ (* im im) (* re re))) (/ (sqrt 1/2) (sqrt (log 10))))
14.0ms
(+ (* im im) (* re re))
11.0ms
(log (+ (* im im) (* re re)))

series747.0ms

Calls
4 calls:
Slowest
333.0ms
(* (log (+ (* im im) (* re re))) (/ (sqrt 1/2) (sqrt (log 10))))
285.0ms
(* (/ (sqrt 1/2) (sqrt (log 10))) (* (log (+ (* im im) (* re re))) (/ (sqrt 1/2) (sqrt (log 10)))))
74.0ms
(log (+ (* im im) (* re re)))
54.0ms
(+ (* im im) (* re re))

simplify10.5s

Calls
147 calls:
Slowest
573.0ms
(* (/ (* (* (sqrt 1/2) (sqrt 1/2)) (sqrt 1/2)) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))) (* (* (* (log (+ (* im im) (* re re))) (/ (sqrt 1/2) (sqrt (log 10)))) (* (log (+ (* im im) (* re re))) (/ (sqrt 1/2) (sqrt (log 10))))) (* (log (+ (* im im) (* re re))) (/ (sqrt 1/2) (sqrt (log 10))))))
540.0ms
(* (* (* (log (+ (* im im) (* re re))) (log (+ (* im im) (* re re)))) (log (+ (* im im) (* re re)))) (/ (* (* (sqrt 1/2) (sqrt 1/2)) (sqrt 1/2)) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))))
479.0ms
(+ (log (/ (sqrt 1/2) (sqrt (log 10)))) (+ (log (log (+ (* im im) (* re re)))) (- (log (sqrt 1/2)) (log (sqrt (log 10))))))
476.0ms
(* (* (* (/ (sqrt 1/2) (sqrt (log 10))) (/ (sqrt 1/2) (sqrt (log 10)))) (/ (sqrt 1/2) (sqrt (log 10)))) (* (* (* (log (+ (* im im) (* re re))) (log (+ (* im im) (* re re)))) (log (+ (* im im) (* re re)))) (/ (* (* (sqrt 1/2) (sqrt 1/2)) (sqrt 1/2)) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10))))))
456.0ms
(* -2 (/ (* (log (/ 1 im)) (pow (sqrt 1/2) 2)) (log 10)))

prune2.4s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.3b

regimes695.0ms

Accuracy

33.1% (20.3b remaining)

Error of 20.7b against oracle of 0.4b and baseline of 30.7b

bsearch554.0ms

end0.0ms

sample1.4s

Algorithm
intervals
Results
1.1s8000×body80valid