Details

Time bar (total: 47.0s)

sample863.0ms

Algorithm
intervals
Results
668.0ms228×body10240exit
109.0ms512×body80nan
51.0ms256×body80valid

simplify156.0ms

Calls
1 calls:
Slowest
156.0ms
(/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0)))

prune29.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize33.0ms

Local error

Found 2 expressions with local error:

0.4b
(/ (log (hypot re im)) (log base))
0.0b
(hypot re im)

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
12×times-frac
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×pow1
4×add-cbrt-cube add-exp-log log-pow associate-/l*
3×associate-/r*
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
Calls
2 calls:
Slowest
12.0ms
(/ (log (hypot re im)) (log base))
0.0ms
(hypot re im)

series127.0ms

Calls
2 calls:
Slowest
93.0ms
(/ (log (hypot re im)) (log base))
34.0ms
(hypot re im)

simplify732.0ms

Calls
37 calls:
Slowest
181.0ms
(/ (* (* (log (hypot re im)) (log (hypot re im))) (log (hypot re im))) (* (* (log base) (log base)) (log base)))
179.0ms
(* -1 (/ (log (/ -1 re)) (- (log -1) (log (/ -1 base)))))
45.0ms
(/ (* (cbrt (log (hypot re im))) (cbrt (log (hypot re im)))) (* (cbrt (log base)) (cbrt (log base))))
34.0ms
(/ (* (cbrt (log (hypot re im))) (cbrt (log (hypot re im)))) (sqrt (log base)))
28.0ms
(/ (log (/ 1 re)) (log (/ 1 base)))

prune616.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize5.0ms

Local error

Found 3 expressions with local error:

0.4b
(/ (log base) (log (hypot re im)))
0.2b
(/ 1 (/ (log base) (log (hypot re im))))
0.0b
(hypot re im)

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
24×times-frac
20×add-sqr-sqrt associate-/r* *-un-lft-identity add-cube-cbrt
11×pow1
8×add-exp-log
7×log-pow
5×add-cbrt-cube
3×expm1-log1p-u insert-posit16 log1p-expm1-u div-inv associate-/l* add-log-exp
2×rec-exp clear-num frac-2neg div-exp
1×cbrt-undiv hypot-udef associate-/r/ pow-flip inv-pow
Calls
3 calls:
Slowest
5.0ms
(/ (log base) (log (hypot re im)))
2.0ms
(/ 1 (/ (log base) (log (hypot re im))))
0.0ms
(hypot re im)

series354.0ms

Calls
3 calls:
Slowest
179.0ms
(/ (log base) (log (hypot re im)))
133.0ms
(/ 1 (/ (log base) (log (hypot re im))))
41.0ms
(hypot re im)

simplify1.9s

Calls
59 calls:
Slowest
921.0ms
(* -1 (/ (- (log -1) (log (/ -1 base))) (log (/ -1 re))))
232.0ms
(* -1 (/ (log (/ -1 re)) (- (log -1) (log (/ -1 base)))))
170.0ms
(/ (* (* (log base) (log base)) (log base)) (* (* (log (hypot re im)) (log (hypot re im))) (log (hypot re im))))
47.0ms
(/ (* (cbrt (log base)) (cbrt (log base))) (* (cbrt (log (hypot re im))) (cbrt (log (hypot re im)))))
42.0ms
(/ (* (cbrt (log base)) (cbrt (log base))) (sqrt (log (hypot re im))))

prune923.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 3 expressions with local error:

0.4b
(/ (log base) (log (* 1 (hypot re im))))
0.2b
(/ 1 (/ (log base) (log (* 1 (hypot re im)))))
0.0b
(hypot re im)

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
24×times-frac
20×add-sqr-sqrt associate-/r* *-un-lft-identity add-cube-cbrt
11×pow1
8×add-exp-log
7×log-pow
5×add-cbrt-cube
3×expm1-log1p-u insert-posit16 log1p-expm1-u div-inv associate-/l* add-log-exp
2×rec-exp clear-num frac-2neg div-exp
1×cbrt-undiv hypot-udef associate-/r/ pow-flip inv-pow
Calls
3 calls:
Slowest
5.0ms
(/ (log base) (log (* 1 (hypot re im))))
2.0ms
(/ 1 (/ (log base) (log (* 1 (hypot re im)))))
0.0ms
(hypot re im)

series295.0ms

Calls
3 calls:
Slowest
141.0ms
(/ (log base) (log (* 1 (hypot re im))))
115.0ms
(/ 1 (/ (log base) (log (* 1 (hypot re im)))))
38.0ms
(hypot re im)

simplify2.7s

Calls
59 calls:
Slowest
858.0ms
(* -1 (/ (- (log -1) (log (/ -1 base))) (log (/ -1 re))))
231.0ms
(/ (* (* (log base) (log base)) (log base)) (* (* (log (* 1 (hypot re im))) (log (* 1 (hypot re im)))) (log (* 1 (hypot re im)))))
198.0ms
(* -1 (/ (log (/ -1 re)) (- (log -1) (log (/ -1 base)))))
65.0ms
(/ (* (cbrt (log base)) (cbrt (log base))) (* (cbrt (log (* 1 (hypot re im)))) (cbrt (log (* 1 (hypot re im))))))
53.0ms
(/ (* (cbrt (log base)) (cbrt (log base))) (sqrt (log (* 1 (hypot re im)))))

prune964.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.0b

localize5.0ms

Local error

Found 3 expressions with local error:

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

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt *-un-lft-identity add-exp-log add-cube-cbrt
7×pow1
6×log-prod
5×add-cbrt-cube
4×associate-*r* associate-*l*
3×distribute-rgt-in expm1-log1p-u associate-/r* distribute-lft-in insert-posit16 log1p-expm1-u add-log-exp
2×rec-exp prod-exp div-inv
1×hypot-udef clear-num frac-2neg pow-prod-down associate-*l/ log-pow *-commutative cbrt-unprod pow-flip inv-pow
Calls
3 calls:
Slowest
7.0ms
(* (/ 1 (log base)) (log (hypot re im)))
1.0ms
(/ 1 (log base))
0.0ms
(hypot re im)

series345.0ms

Calls
3 calls:
Slowest
198.0ms
(/ 1 (log base))
117.0ms
(* (/ 1 (log base)) (log (hypot re im)))
30.0ms
(hypot re im)

simplify1.2s

Calls
30 calls:
Slowest
445.0ms
(* (* (* (/ 1 (log base)) (/ 1 (log base))) (/ 1 (log base))) (* (* (log (hypot re im)) (log (hypot re im))) (log (hypot re im))))
199.0ms
(* -1 (/ (log (/ -1 re)) (- (log -1) (log (/ -1 base)))))
70.0ms
(/ 1 (- (log -1) (log (/ -1 base))))
54.0ms
(* (log (cbrt (hypot re im))) (/ 1 (log base)))
54.0ms
(* (log (sqrt (hypot re im))) (/ 1 (log base)))

prune521.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.0b

regimes332.0ms

Accuracy

0% (0.3b remaining)

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

bsearch1.0ms

end0.0ms

sample34.8s

Algorithm
intervals
Results
27.6s8027×body10240exit
4.5s16158×body80nan
2.0s8000×body80valid