Details

Time bar (total: 52.7s)

sample58.0ms

Algorithm
intervals
Results
42.0ms256×body80valid

simplify18.0ms

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

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.4b

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

rewrite32.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
22.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))
8.0ms
(sqrt (+ (* re re) (* im im)))

series273.0ms

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

simplify2.9s

Counts
72 → 71
Calls
72 calls:
Slowest
480.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)))
316.0ms
(sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))
289.0ms
(/ (log (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))) (log 10))
276.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
270.0ms
(/ (log (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))) (log 10))

prune866.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 8.6b

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

rewrite82.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
39.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (sqrt (log 10)))
23.0ms
(* (/ 1 (sqrt (log 10))) (/ (log (sqrt (+ (* re re) (* im im)))) (sqrt (log 10))))
13.0ms
(sqrt (+ (* re re) (* im im)))

series547.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
302.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (sqrt (log 10)))
177.0ms
(* (/ 1 (sqrt (log 10))) (/ (log (sqrt (+ (* re re) (* im im)))) (sqrt (log 10))))
67.0ms
(sqrt (+ (* re re) (* im im)))

simplify11.6s

Counts
230 → 206
Calls
230 calls:
Slowest
628.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)))))
474.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))))
442.0ms
(/ (* (cbrt 1) (cbrt 1)) 1)
352.0ms
(sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))
339.0ms
(/ (log (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))) (sqrt (log 10)))

prune2.7s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 8.4b

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

rewrite152.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
81.0ms
(* (* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im))))) (/ 1 (sqrt (log 10))))
44.0ms
(* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im)))))
21.0ms
(sqrt (+ (* re re) (* im im)))

series569.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
289.0ms
(* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im)))))
214.0ms
(* (* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im))))) (/ 1 (sqrt (log 10))))
65.0ms
(sqrt (+ (* re re) (* im im)))

simplify10.6s

Counts
134 → 157
Calls
134 calls:
Slowest
874.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)))))
589.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)))))
541.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))))))
368.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))))))
314.0ms
(sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))

prune1.9s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 8.4b

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

rewrite266.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
176.0ms
(* (* (* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im))))) (sqrt (/ 1 (sqrt (log 10))))) (sqrt (/ 1 (sqrt (log 10)))))
59.0ms
(* (* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im))))) (sqrt (/ 1 (sqrt (log 10)))))
21.0ms
(* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im)))))
6.0ms
(sqrt (+ (* re re) (* im im)))

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
611.0ms
(* (* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im))))) (sqrt (/ 1 (sqrt (log 10)))))
264.0ms
(* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im)))))
201.0ms
(* (* (* (/ 1 (sqrt (log 10))) (log (sqrt (+ (* re re) (* im im))))) (sqrt (/ 1 (sqrt (log 10))))) (sqrt (/ 1 (sqrt (log 10)))))
48.0ms
(sqrt (+ (* re re) (* im im)))

simplify12.6s

Counts
173 → 202
Calls
173 calls:
Slowest
570.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))))))
522.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))))))
515.0ms
(* -1 (* (pow (/ 1 (pow (log 10) 3)) 1/4) (log (/ 1 re))))
441.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))))))
433.0ms
(+ (+ (+ (- (log 1) (log (sqrt (log 10)))) (log (log (sqrt (+ (* re re) (* im im)))))) (log (sqrt (/ 1 (sqrt (log 10)))))) (log (sqrt (/ 1 (sqrt (log 10))))))

prune2.9s

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

bsearch141.0ms

end0.0ms

sample1.7s

Algorithm
intervals
Results
1.6s8000×body80valid