Details

Time bar (total: 37.0s)

sample45.0ms

Algorithm
intervals
Results
33.0ms256×body80valid

simplify19.0ms

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

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.6b

localize30.0ms

Local error

Found 2 expressions with local error:

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

rewrite8.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
7.0ms
(/ (log (hypot re im)) (log 10))
0.0ms
(hypot re im)

series286.0ms

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

simplify1.2s

Counts
46 → 56
Calls
46 calls:
Slowest
430.0ms
(/ (* (* (log (hypot re im)) (log (hypot re im))) (log (hypot re im))) (* (* (log 10) (log 10)) (log 10)))
160.0ms
(* -1 (/ (log (/ 1 re)) (log 10)))
150.0ms
(* -1 (/ (log (/ -1 re)) (log 10)))
45.0ms
(/ (* (cbrt (log (hypot re im))) (cbrt (log (hypot re im)))) (* (cbrt (log 10)) (cbrt (log 10))))
35.0ms
(/ (* (cbrt (log (hypot re im))) (cbrt (log (hypot re im)))) (sqrt (log 10)))

prune602.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.1b

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

rewrite42.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
29.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)

series582.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
287.0ms
(/ (log (hypot re im)) (sqrt (log 10)))
231.0ms
(* (/ 1 (sqrt (log 10))) (/ (log (hypot re im)) (sqrt (log 10))))
63.0ms
(hypot re im)

simplify7.8s

Counts
178 → 173
Calls
178 calls:
Slowest
545.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)))))
466.0ms
(/ (* (* (log (hypot re im)) (log (hypot re im))) (log (hypot re im))) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10))))
223.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)))))
205.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)))))
193.0ms
(* -1 (* (log (/ -1 re)) (sqrt (/ 1 (log 10)))))

prune2.0s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 3 expressions with local error:

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

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
77×add-exp-log
46×times-frac
44×add-sqr-sqrt
40×prod-exp
34×*-un-lft-identity
32×add-cube-cbrt
29×add-cbrt-cube associate-*l*
26×associate-*r* sqrt-prod
20×div-exp
17×pow1
12×cbrt-unprod
10×rec-exp 1-exp
7×log-pow
6×cbrt-undiv
5×associate-*r/ unswap-sqr
4×pow-prod-down
3×expm1-log1p-u un-div-inv insert-posit16 log1p-expm1-u add-log-exp
2×frac-times *-commutative div-inv
1×hypot-udef associate-*l/
Counts
3 → 135
Calls
3 calls:
Slowest
48.0ms
(* (/ 1 (sqrt (log 10))) (* (log (hypot re im)) (/ 1 (sqrt (log 10)))))
26.0ms
(* (log (hypot re im)) (/ 1 (sqrt (log 10))))
0.0ms
(hypot re im)

series623.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
325.0ms
(* (log (hypot re im)) (/ 1 (sqrt (log 10))))
243.0ms
(* (/ 1 (sqrt (log 10))) (* (log (hypot re im)) (/ 1 (sqrt (log 10)))))
55.0ms
(hypot re im)

simplify7.8s

Counts
114 → 144
Calls
114 calls:
Slowest
610.0ms
(* (* (* (/ 1 (sqrt (log 10))) (/ 1 (sqrt (log 10)))) (/ 1 (sqrt (log 10)))) (* (* (* (log (hypot re im)) (/ 1 (sqrt (log 10)))) (* (log (hypot re im)) (/ 1 (sqrt (log 10))))) (* (log (hypot re im)) (/ 1 (sqrt (log 10))))))
502.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))) (* (* (/ 1 (sqrt (log 10))) (/ 1 (sqrt (log 10)))) (/ 1 (sqrt (log 10))))))
461.0ms
(* (* (* (log (hypot re im)) (log (hypot re im))) (log (hypot re im))) (* (* (/ 1 (sqrt (log 10))) (/ 1 (sqrt (log 10)))) (/ 1 (sqrt (log 10)))))
360.0ms
(* (* (* (log (hypot re im)) (log (hypot re im))) (log (hypot re im))) (/ (* (* 1 1) 1) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))))
226.0ms
(* (/ (* (* 1 1) 1) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))) (* (* (* (log (hypot re im)) (/ 1 (sqrt (log 10)))) (* (log (hypot re im)) (/ 1 (sqrt (log 10))))) (* (log (hypot re im)) (/ 1 (sqrt (log 10))))))

prune1.6s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

localize26.0ms

Local error

Found 4 expressions with local error:

4.4b
(expm1 (log1p (hypot re im)))
0.3b
(* (log (expm1 (log1p (hypot re im)))) (/ 1 (sqrt (log 10))))
0.3b
(* (/ 1 (sqrt (log 10))) (* (log (expm1 (log1p (hypot re im)))) (/ 1 (sqrt (log 10)))))
0.0b
(hypot re im)

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
78×add-exp-log
46×times-frac
45×add-sqr-sqrt
40×prod-exp
35×*-un-lft-identity
33×add-cube-cbrt
30×add-cbrt-cube
29×associate-*l*
26×associate-*r* sqrt-prod
20×div-exp
18×pow1
12×cbrt-unprod
10×rec-exp 1-exp
7×log-pow
6×cbrt-undiv
5×associate-*r/ unswap-sqr
4×expm1-log1p-u pow-prod-down insert-posit16 log1p-expm1-u add-log-exp
3×un-div-inv
2×frac-times *-commutative div-inv
1×expm1-log1p hypot-udef associate-*l/ expm1-udef
Counts
4 → 147
Calls
4 calls:
Slowest
61.0ms
(* (/ 1 (sqrt (log 10))) (* (log (expm1 (log1p (hypot re im)))) (/ 1 (sqrt (log 10)))))
18.0ms
(* (log (expm1 (log1p (hypot re im)))) (/ 1 (sqrt (log 10))))
0.0ms
(hypot re im)
0.0ms
(expm1 (log1p (hypot re im)))

series853.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
405.0ms
(* (log (expm1 (log1p (hypot re im)))) (/ 1 (sqrt (log 10))))
268.0ms
(* (/ 1 (sqrt (log 10))) (* (log (expm1 (log1p (hypot re im)))) (/ 1 (sqrt (log 10)))))
133.0ms
(expm1 (log1p (hypot re im)))
47.0ms
(hypot re im)

simplify9.8s

Counts
117 → 159
Calls
117 calls:
Slowest
673.0ms
(* (* (* (log (expm1 (log1p (hypot re im)))) (log (expm1 (log1p (hypot re im))))) (log (expm1 (log1p (hypot re im))))) (* (* (/ 1 (sqrt (log 10))) (/ 1 (sqrt (log 10)))) (/ 1 (sqrt (log 10)))))
664.0ms
(* (* (* (/ 1 (sqrt (log 10))) (/ 1 (sqrt (log 10)))) (/ 1 (sqrt (log 10)))) (* (* (* (log (expm1 (log1p (hypot re im)))) (/ 1 (sqrt (log 10)))) (* (log (expm1 (log1p (hypot re im)))) (/ 1 (sqrt (log 10))))) (* (log (expm1 (log1p (hypot re im)))) (/ 1 (sqrt (log 10))))))
451.0ms
(* (* (* (/ 1 (sqrt (log 10))) (/ 1 (sqrt (log 10)))) (/ 1 (sqrt (log 10)))) (* (* (* (log (expm1 (log1p (hypot re im)))) (log (expm1 (log1p (hypot re im))))) (log (expm1 (log1p (hypot re im))))) (* (* (/ 1 (sqrt (log 10))) (/ 1 (sqrt (log 10)))) (/ 1 (sqrt (log 10))))))
299.0ms
(* (/ (* (* 1 1) 1) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))) (* (* (* (log (expm1 (log1p (hypot re im)))) (log (expm1 (log1p (hypot re im))))) (log (expm1 (log1p (hypot re im))))) (* (* (/ 1 (sqrt (log 10))) (/ 1 (sqrt (log 10)))) (/ 1 (sqrt (log 10))))))
278.0ms
(- (+ (* (log (- (exp (- (log (/ 1 re)))) 1)) (sqrt (/ 1 (log 10)))) (* (/ (exp (- (log (/ 1 re)))) (* (- (exp (- (log (/ 1 re)))) 1) re)) (sqrt (/ 1 (log 10))))) (* 1/2 (* (/ (pow (exp (- (log (/ 1 re)))) 2) (* (pow (- (exp (- (log (/ 1 re)))) 1) 2) (pow re 2))) (sqrt (/ 1 (log 10))))))

prune1.9s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0b

regimes148.0ms

Accuracy

0% (0.3b remaining)

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

bsearch5.0ms

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.3s8000×body80valid