Details

Time bar (total: 51.8s)

sample34.0ms

Algorithm
intervals
Results
23.0ms256×body80valid

simplify9.0ms

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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.4b

localize33.0ms

Local error

Found 2 expressions with local error:

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

rewrite34.0ms

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

series216.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
166.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))
50.0ms
(sqrt (+ (* re re) (* im im)))

simplify2.7s

Counts
72 → 71
Calls
72 calls:
Slowest
494.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)))
341.0ms
(sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))
298.0ms
(/ (log (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))) (log 10))
215.0ms
(/ (log (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))) (log 10))
204.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))

prune1.0s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 8.6b

localize65.0ms

Local error

Found 3 expressions with local error:

29.9b
(sqrt (+ (* re re) (* im im)))
0.4b
(/ (log (sqrt (+ (* re re) (* im im)))) (sqrt (log 10)))
0.3b
(* (/ 1 (sqrt (log 10))) (/ (log (sqrt (+ (* re re) (* im im)))) (sqrt (log 10))))

rewrite92.0ms

Algorithm
rewrite-expression-head
Rules
127×times-frac
107×add-sqr-sqrt
78×sqrt-prod
66×*-un-lft-identity
61×log-pow
60×add-cube-cbrt
52×pow1
46×associate-*r*
27×add-exp-log
25×associate-*l*
17×add-cbrt-cube
16×sqrt-pow1 pow1/2
15×unswap-sqr
9×div-exp
8×prod-exp
7×associate-/r*
6×associate-/l*
5×cbrt-undiv
4×sqrt-div cbrt-unprod
3×insert-posit16 div-inv add-log-exp
2×log-div rec-exp flip3-+ 1-exp div-sub flip-+
1×frac-times rem-sqrt-square clear-num frac-2neg pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
3 → 197
Calls
3 calls:
Slowest
47.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (sqrt (log 10)))
27.0ms
(* (/ 1 (sqrt (log 10))) (/ (log (sqrt (+ (* re re) (* im im)))) (sqrt (log 10))))
13.0ms
(sqrt (+ (* re re) (* im im)))

series554.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
313.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (sqrt (log 10)))
175.0ms
(* (/ 1 (sqrt (log 10))) (/ (log (sqrt (+ (* re re) (* im im)))) (sqrt (log 10))))
66.0ms
(sqrt (+ (* re re) (* im im)))

simplify10.0s

Counts
230 → 206
Calls
230 calls:
Slowest
625.0ms
(* (* (* (/ 1 (sqrt (log 10))) (/ 1 (sqrt (log 10)))) (/ 1 (sqrt (log 10)))) (* (* (/ (log (sqrt (+ (* re re) (* im im)))) (sqrt (log 10))) (/ (log (sqrt (+ (* re re) (* im im)))) (sqrt (log 10)))) (/ (log (sqrt (+ (* re re) (* im im)))) (sqrt (log 10)))))
444.0ms
(/ (* (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im))))) (log (sqrt (+ (* re re) (* im im))))) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10))))
319.0ms
(/ (log (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))) (sqrt (log 10)))
283.0ms
(* (/ (* (* 1 1) 1) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))) (/ (* (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im))))) (log (sqrt (+ (* re re) (* im im))))) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))))
270.0ms
(* (* (* (/ 1 (sqrt (log 10))) (/ 1 (sqrt (log 10)))) (/ 1 (sqrt (log 10)))) (/ (* (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im))))) (log (sqrt (+ (* re re) (* im im))))) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))))

prune3.5s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 8.4b

localize52.0ms

Local error

Found 3 expressions with local error:

29.9b
(sqrt (+ (* re re) (* im im)))
0.3b
(* (* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im))))) (/ 1 (sqrt (log 10))))
0.3b
(* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im)))))

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
77×add-exp-log
50×add-sqr-sqrt
46×times-frac
40×prod-exp
39×*-un-lft-identity
37×add-cube-cbrt
35×sqrt-prod
31×associate-*r*
29×add-cbrt-cube
26×associate-*l*
20×div-exp
19×pow1
12×log-prod cbrt-unprod
10×rec-exp 1-exp
9×log-pow
6×distribute-rgt-in cbrt-undiv distribute-lft-in
5×unswap-sqr
4×pow-prod-down associate-*l/
3×insert-posit16 add-log-exp
2×sqrt-pow1 pow1/2 sqrt-div *-commutative div-inv
1×frac-times rem-sqrt-square flip3-+ associate-*r/ un-div-inv flip-+
Counts
3 → 148
Calls
3 calls:
Slowest
51.0ms
(* (* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im))))) (/ 1 (sqrt (log 10))))
30.0ms
(* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im)))))
10.0ms
(sqrt (+ (* re re) (* im im)))

series546.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
280.0ms
(* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im)))))
221.0ms
(* (* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im))))) (/ 1 (sqrt (log 10))))
45.0ms
(sqrt (+ (* re re) (* im im)))

simplify10.0s

Counts
134 → 157
Calls
134 calls:
Slowest
763.0ms
(* (* (* (* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im))))) (* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im)))))) (* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im)))))) (* (* (/ 1 (sqrt (log 10))) (/ 1 (sqrt (log 10)))) (/ 1 (sqrt (log 10)))))
573.0ms
(* (* (* (* (/ 1 (sqrt (log 10))) (/ 1 (sqrt (log 10)))) (/ 1 (sqrt (log 10)))) (* (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im))))) (log (sqrt (+ (* re re) (* im im)))))) (* (* (/ 1 (sqrt (log 10))) (/ 1 (sqrt (log 10)))) (/ 1 (sqrt (log 10)))))
433.0ms
(* (* (* (/ 1 (sqrt (log 10))) (/ 1 (sqrt (log 10)))) (/ 1 (sqrt (log 10)))) (* (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im))))) (log (sqrt (+ (* re re) (* im im))))))
322.0ms
(* (/ (* (* 1 1) 1) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))) (* (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im))))) (log (sqrt (+ (* re re) (* im im))))))
293.0ms
(* (* (* (* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im))))) (* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im)))))) (* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im)))))) (/ (* (* 1 1) 1) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))))

prune2.5s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 8.4b

localize60.0ms

Local error

Found 4 expressions with local error:

29.9b
(sqrt (+ (* re re) (* im im)))
0.3b
(* (* (* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im))))) (sqrt (/ 1 (sqrt (log 10))))) (sqrt (/ 1 (sqrt (log 10)))))
0.3b
(* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im)))))
0.2b
(* (* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im))))) (sqrt (/ 1 (sqrt (log 10)))))

rewrite323.0ms

Algorithm
rewrite-expression-head
Rules
97×sqrt-prod
67×add-sqr-sqrt times-frac
62×associate-*r*
56×*-un-lft-identity
54×add-cube-cbrt
50×add-exp-log
32×pow1 add-cbrt-cube
28×prod-exp
27×associate-*l*
16×cbrt-unprod
13×associate-*l/
12×log-prod sqrt-div log-pow
10×pow-prod-down
6×distribute-rgt-in frac-times distribute-lft-in div-exp
5×unswap-sqr
4×associate-*r/ insert-posit16 add-log-exp
3×cbrt-undiv rec-exp 1-exp *-commutative div-inv
2×sqrt-pow1 pow1/2
1×rem-sqrt-square flip3-+ flip-+
Counts
4 → 190
Calls
4 calls:
Slowest
229.0ms
(* (* (* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im))))) (sqrt (/ 1 (sqrt (log 10))))) (sqrt (/ 1 (sqrt (log 10)))))
58.0ms
(* (* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im))))) (sqrt (/ 1 (sqrt (log 10)))))
23.0ms
(* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im)))))
7.0ms
(sqrt (+ (* re re) (* im im)))

series1.2s

Counts
4 → 12
Calls
4 calls:
Slowest
683.0ms
(* (* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im))))) (sqrt (/ 1 (sqrt (log 10)))))
308.0ms
(* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im)))))
165.0ms
(* (* (* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im))))) (sqrt (/ 1 (sqrt (log 10))))) (sqrt (/ 1 (sqrt (log 10)))))
42.0ms
(sqrt (+ (* re re) (* im im)))

simplify11.9s

Counts
173 → 202
Calls
173 calls:
Slowest
553.0ms
(* (* (* (/ 1 (sqrt (log 10))) (/ 1 (sqrt (log 10)))) (/ 1 (sqrt (log 10)))) (* (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im))))) (log (sqrt (+ (* re re) (* im im))))))
480.0ms
(* -1 (* (pow (/ 1 (pow (log 10) 3)) 1/4) (log (/ 1 re))))
418.0ms
(* (/ (* (* 1 1) 1) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))) (* (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im))))) (log (sqrt (+ (* re re) (* im im))))))
365.0ms
(* (* (* (* (* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im))))) (sqrt (/ 1 (sqrt (log 10))))) (* (* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im))))) (sqrt (/ 1 (sqrt (log 10)))))) (* (* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im))))) (sqrt (/ 1 (sqrt (log 10)))))) (* (* (sqrt (/ 1 (sqrt (log 10)))) (sqrt (/ 1 (sqrt (log 10))))) (sqrt (/ 1 (sqrt (log 10))))))
355.0ms
(+ (+ (+ (- 0 (log (sqrt (log 10)))) (log (log (sqrt (+ (* re re) (* im im)))))) (log (sqrt (/ 1 (sqrt (log 10)))))) (log (sqrt (/ 1 (sqrt (log 10))))))

prune3.3s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 8.4b

regimes1.4s

Accuracy

58% (10.0b remaining)

Error of 17.2b against oracle of 7.2b and baseline of 31.0b

bsearch186.0ms

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.2s8000×body80valid