Details

Time bar (total: 2.2m)

sample1.1s

Algorithm
intervals
Results
789.0ms275×body10240exit
176.0ms527×body80nan
56.0ms256×body80valid

simplify125.0ms

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

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize13.0ms

Local error

Found 1 expressions with local error:

0.3b
(/ (log (hypot re im)) (log base))

rewrite7.0ms

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

series159.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
159.0ms
(/ (log (hypot re im)) (log base))

simplify1.1s

Counts
43 → 42
Calls
43 calls:
Slowest
432.0ms
(/ (* (* (log (hypot re im)) (log (hypot re im))) (log (hypot re im))) (* (* (log base) (log base)) (log base)))
221.0ms
(* -1 (/ (log (/ -1 re)) (- (log -1) (log (/ -1 base)))))
42.0ms
(/ (* (cbrt (log (hypot re im))) (cbrt (log (hypot re im)))) (* (cbrt (log base)) (cbrt (log base))))
34.0ms
(/ (log (/ 1 re)) (log (/ 1 base)))
29.0ms
(/ (* (cbrt (log (hypot re im))) (cbrt (log (hypot re im)))) 1)

prune552.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 2 expressions with local error:

0.3b
(/ (log base) (log (hypot re im)))
0.3b
(/ 1 (/ (log base) (log (hypot re im))))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
140×times-frac
69×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
45×pow1
42×log-pow
24×associate-/r*
15×add-exp-log
9×add-cbrt-cube
8×div-exp
7×associate-/l*
6×div-inv
4×cbrt-undiv
2×expm1-log1p-u rec-exp clear-num frac-2neg 1-exp insert-posit16 log1p-expm1-u add-log-exp
1×associate-/r/ pow-flip inv-pow
Counts
2 → 146
Calls
2 calls:
Slowest
9.0ms
(/ (log base) (log (hypot re im)))
7.0ms
(/ 1 (/ (log base) (log (hypot re im))))

series370.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
214.0ms
(/ (log base) (log (hypot re im)))
155.0ms
(/ 1 (/ (log base) (log (hypot re im))))

simplify9.2s

Counts
196 → 152
Calls
196 calls:
Slowest
800.0ms
(* -1 (/ (- (log -1) (log (/ -1 base))) (log (/ -1 re))))
577.0ms
(/ (* (* 1 1) 1) (* (* (/ (log base) (log (hypot re im))) (/ (log base) (log (hypot re im)))) (/ (log base) (log (hypot re im)))))
455.0ms
(/ (* (* (log base) (log base)) (log base)) (* (* (log (hypot re im)) (log (hypot re im))) (log (hypot re im))))
387.0ms
(/ (sqrt 1) (/ (* (cbrt (log base)) (cbrt (log base))) (* (cbrt (log (hypot re im))) (cbrt (log (hypot re im))))))
304.0ms
(/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (log base)) (cbrt (log base))) (* (cbrt (log (hypot re im))) (cbrt (log (hypot re im))))))

prune1.4s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0b

localize27.0ms

Local error

Found 2 expressions with local error:

0.3b
(/ (log base) (log (hypot re im)))
0.3b
(/ 1 (/ (/ (log base) (log (hypot re im))) 1))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
640×times-frac
269×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
109×pow1
106×log-pow
68×associate-/r*
36×add-exp-log
29×div-exp
18×div-inv
13×add-cbrt-cube
11×1-exp
7×cbrt-undiv associate-/l*
5×rec-exp
2×expm1-log1p-u clear-num frac-2neg insert-posit16 log1p-expm1-u add-log-exp
1×associate-/r/ pow-flip inv-pow
Counts
2 → 332
Calls
2 calls:
Slowest
20.0ms
(/ 1 (/ (/ (log base) (log (hypot re im))) 1))
13.0ms
(/ (log base) (log (hypot re im)))

series435.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
233.0ms
(/ (log base) (log (hypot re im)))
202.0ms
(/ 1 (/ (/ (log base) (log (hypot re im))) 1))

simplify24.9s

Counts
510 → 338
Calls
510 calls:
Slowest
774.0ms
(/ (* (* (log base) (log base)) (log base)) (* (* (log (hypot re im)) (log (hypot re im))) (log (hypot re im))))
743.0ms
(* -1 (/ (- (log -1) (log (/ -1 base))) (log (/ -1 re))))
613.0ms
(/ (* (* 1 1) 1) (* (* (/ (/ (log base) (log (hypot re im))) 1) (/ (/ (log base) (log (hypot re im))) 1)) (/ (/ (log base) (log (hypot re im))) 1)))
498.0ms
(/ (* (* 1 1) 1) (/ (* (* (/ (log base) (log (hypot re im))) (/ (log base) (log (hypot re im)))) (/ (log base) (log (hypot re im)))) (* (* 1 1) 1)))
249.0ms
(/ (* (* 1 1) 1) (/ (/ (* (* (log base) (log base)) (log base)) (* (* (log (hypot re im)) (log (hypot re im))) (log (hypot re im)))) (* (* 1 1) 1)))

prune3.6s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0b

localize18.0ms

Local error

Found 3 expressions with local error:

0.3b
(/ (log (hypot re im)) (log base))
0.3b
(/ 1 (/ 1 (/ (log (hypot re im)) (log base))))
0.3b
(/ 1 (/ (log (hypot re im)) (log base)))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
767×times-frac
328×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
144×pow1
138×log-pow
89×associate-/r*
59×add-exp-log
43×div-exp
23×div-inv
19×add-cbrt-cube
15×rec-exp 1-exp
10×cbrt-undiv associate-/l*
6×associate-/r/
5×pow-flip
3×expm1-log1p-u clear-num frac-2neg insert-posit16 log1p-expm1-u inv-pow add-log-exp
1×remove-double-div
Counts
3 → 452
Calls
3 calls:
Slowest
17.0ms
(/ 1 (/ 1 (/ (log (hypot re im)) (log base))))
13.0ms
(/ 1 (/ (log (hypot re im)) (log base)))
6.0ms
(/ (log (hypot re im)) (log base))

series510.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
179.0ms
(/ (log (hypot re im)) (log base))
170.0ms
(/ 1 (/ (log (hypot re im)) (log base)))
161.0ms
(/ 1 (/ 1 (/ (log (hypot re im)) (log base))))

simplify48.6s

Counts
678 → 461
Calls
678 calls:
Slowest
837.0ms
(* -1 (/ (- (log -1) (log (/ -1 base))) (log (/ -1 re))))
678.0ms
(/ (sqrt 1) (/ 1 (/ (* (cbrt (log (hypot re im))) (cbrt (log (hypot re im)))) (* (cbrt (log base)) (cbrt (log base))))))
574.0ms
(/ 1 (/ 1 (/ (* (cbrt (log (hypot re im))) (cbrt (log (hypot re im)))) (* (cbrt (log base)) (cbrt (log base))))))
566.0ms
(/ (* (cbrt 1) (cbrt 1)) (/ 1 (/ (* (cbrt (log (hypot re im))) (cbrt (log (hypot re im)))) (* (cbrt (log base)) (cbrt (log base))))))
543.0ms
(/ (* (* 1 1) 1) (* (* (/ (log (hypot re im)) (log base)) (/ (log (hypot re im)) (log base))) (/ (log (hypot re im)) (log base))))

prune4.9s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0b

regimes326.0ms

Accuracy

0% (0.4b remaining)

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

bsearch2.0ms

end0.0ms

sample35.6s

Algorithm
intervals
Results
26.1s7974×body10240exit
6.0s16305×body80nan
2.5s8000×body80valid