Details

Time bar (total: 30.9s)

sample31.0ms

Algorithm
intervals
Results
22.0ms256×body80valid

simplify13.0ms

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

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.6b

localize12.0ms

Local error

Found 2 expressions with local error:

0.6b
(/ (log (hypot re im)) (log 10))
0.0b
(hypot re im)

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
16×times-frac
12×add-sqr-sqrt pow1 *-un-lft-identity add-cube-cbrt
10×log-pow
4×associate-/r* add-cbrt-cube add-exp-log associate-/l*
2×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
1×cbrt-undiv hypot-udef clear-num frac-2neg div-exp div-inv
Counts
2 → 50
Calls
2 calls:
Slowest
6.0ms
(/ (log (hypot re im)) (log 10))
0.0ms
(hypot re im)

series253.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
186.0ms
(/ (log (hypot re im)) (log 10))
67.0ms
(hypot re im)

simplify1.2s

Counts
46 → 56
Calls
46 calls:
Slowest
474.0ms
(/ (* (* (log (hypot re im)) (log (hypot re im))) (log (hypot re im))) (* (* (log 10) (log 10)) (log 10)))
118.0ms
(* -1 (/ (log (/ 1 re)) (log 10)))
112.0ms
(* -1 (/ (log (/ -1 re)) (log 10)))
49.0ms
(/ (* (cbrt (log (hypot re im))) (cbrt (log (hypot re im)))) (* (cbrt (log 10)) (cbrt (log 10))))
29.0ms
(/ (* (cbrt (log (hypot re im))) (cbrt (log (hypot re im)))) 1)

prune590.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.1b

localize33.0ms

Local error

Found 3 expressions with local error:

0.4b
(/ (log (hypot re im)) (sqrt (log 10)))
0.3b
(* (/ 1 (sqrt (log 10))) (/ (log (hypot re im)) (sqrt (log 10))))
0.0b
(hypot re im)

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
99×times-frac
97×add-sqr-sqrt
59×sqrt-prod
57×*-un-lft-identity
51×add-cube-cbrt
32×pow1 associate-*r*
27×add-exp-log log-pow
25×associate-*l*
17×add-cbrt-cube
15×unswap-sqr
9×div-exp
8×prod-exp
7×associate-/r*
5×cbrt-undiv
4×cbrt-unprod associate-/l*
3×expm1-log1p-u insert-posit16 log1p-expm1-u div-inv add-log-exp
2×rec-exp 1-exp
1×frac-times hypot-udef clear-num frac-2neg pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
3 → 164
Calls
3 calls:
Slowest
19.0ms
(* (/ 1 (sqrt (log 10))) (/ (log (hypot re im)) (sqrt (log 10))))
7.0ms
(/ (log (hypot re im)) (sqrt (log 10)))
0.0ms
(hypot re im)

series609.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
326.0ms
(/ (log (hypot re im)) (sqrt (log 10)))
215.0ms
(* (/ 1 (sqrt (log 10))) (/ (log (hypot re im)) (sqrt (log 10))))
69.0ms
(hypot re im)

simplify7.3s

Counts
178 → 173
Calls
178 calls:
Slowest
486.0ms
(* (* (* (/ 1 (sqrt (log 10))) (/ 1 (sqrt (log 10)))) (/ 1 (sqrt (log 10)))) (* (* (/ (log (hypot re im)) (sqrt (log 10))) (/ (log (hypot re im)) (sqrt (log 10)))) (/ (log (hypot re im)) (sqrt (log 10)))))
463.0ms
(/ (* (* (log (hypot re im)) (log (hypot re im))) (log (hypot re im))) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10))))
225.0ms
(* (/ (* (* 1 1) 1) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))) (/ (* (* (log (hypot re im)) (log (hypot re im))) (log (hypot re im))) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))))
188.0ms
(* (* (* (/ 1 (sqrt (log 10))) (/ 1 (sqrt (log 10)))) (/ 1 (sqrt (log 10)))) (/ (* (* (log (hypot re im)) (log (hypot re im))) (log (hypot re im))) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))))
174.0ms
(* (/ (* (* 1 1) 1) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))) (* (* (/ (log (hypot re im)) (sqrt (log 10))) (/ (log (hypot re im)) (sqrt (log 10)))) (/ (log (hypot re im)) (sqrt (log 10)))))

prune1.7s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.6b
(/ (log (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im)))) (log 10))
0.6b
(cbrt (hypot re im))
0.6b
(cbrt (hypot re im))
0.6b
(cbrt (hypot re im))

rewrite109.0ms

Algorithm
rewrite-expression-head
Rules
123×pow1
94×log-pow
72×times-frac
48×pow1/3
45×pow-prod-up
31×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
30×pow-plus
25×pow-prod-down
18×associate-/l*
15×pow-sqr
10×pow2
9×cbrt-prod
6×add-cbrt-cube add-exp-log
5×pow3
4×expm1-log1p-u associate-/r* insert-posit16 log1p-expm1-u add-log-exp
1×cbrt-undiv clear-num frac-2neg div-exp div-inv
Counts
4 → 151
Calls
4 calls:
Slowest
102.0ms
(/ (log (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im)))) (log 10))
1.0ms
(cbrt (hypot re im))
1.0ms
(cbrt (hypot re im))
1.0ms
(cbrt (hypot re im))

series618.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
218.0ms
(/ (log (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im)))) (log 10))
160.0ms
(cbrt (hypot re im))
121.0ms
(cbrt (hypot re im))
119.0ms
(cbrt (hypot re im))

simplify6.3s

Counts
183 → 163
Calls
183 calls:
Slowest
237.0ms
(/ (* (* (log (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im)))) (log (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im))))) (log (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im))))) (* (* (log 10) (log 10)) (log 10)))
210.0ms
(+ (* 1/6 (* (pow re 2) (pow (/ 1 (pow im 5)) 1/3))) (pow im 1/3))
200.0ms
(+ (* 1/6 (* (pow re 2) (pow (/ 1 (pow im 5)) 1/3))) (pow im 1/3))
189.0ms
(+ (* 1/6 (* (pow re 2) (pow (/ 1 (pow im 5)) 1/3))) (pow im 1/3))
139.0ms
(/ (* (cbrt (log (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im))))) (cbrt (log (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im)))))) (* (cbrt (log 10)) (cbrt (log 10))))

prune1.7s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (hypot re im))
0.6b
(cbrt (hypot re im))
0.6b
(cbrt (hypot re im))
0.6b
(/ (log 10) (log (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im)))))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
123×pow1
94×log-pow
72×times-frac
48×pow1/3
45×pow-prod-up
31×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
30×pow-plus
25×pow-prod-down
18×associate-/r*
15×pow-sqr
10×pow2
9×cbrt-prod
6×add-cbrt-cube add-exp-log
5×pow3
4×expm1-log1p-u insert-posit16 log1p-expm1-u associate-/l* add-log-exp
1×cbrt-undiv clear-num frac-2neg div-exp div-inv
Counts
4 → 151
Calls
4 calls:
Slowest
40.0ms
(/ (log 10) (log (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im)))))
1.0ms
(cbrt (hypot re im))
1.0ms
(cbrt (hypot re im))
1.0ms
(cbrt (hypot re im))

series670.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
185.0ms
(/ (log 10) (log (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im)))))
173.0ms
(cbrt (hypot re im))
156.0ms
(cbrt (hypot re im))
155.0ms
(cbrt (hypot re im))

simplify6.2s

Counts
187 → 163
Calls
187 calls:
Slowest
292.0ms
(/ (* (* (log 10) (log 10)) (log 10)) (* (* (log (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im)))) (log (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im))))) (log (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im))))))
179.0ms
(+ (* 1/6 (* (pow re 2) (pow (/ 1 (pow im 5)) 1/3))) (pow im 1/3))
160.0ms
(+ (* 1/6 (* (pow re 2) (pow (/ 1 (pow im 5)) 1/3))) (pow im 1/3))
156.0ms
(+ (* 1/6 (* (pow re 2) (pow (/ 1 (pow im 5)) 1/3))) (pow im 1/3))
135.0ms
(/ (* (cbrt (log 10)) (cbrt (log 10))) (* (cbrt (log (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im))))) (cbrt (log (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im)))))))

prune1.8s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0b

regimes164.0ms

Accuracy

0% (0.4b remaining)

Error of 0.5b against oracle of 0.0b and baseline of 0.5b

bsearch2.0ms

end0.0ms

sample1.4s

Algorithm
intervals
Results
1.2s8000×body80valid