Details

Time bar (total: 12.2s)

sample64.0ms

Algorithm
intervals
Results
22.0ms254×body80nan
22.0ms256×body80valid

simplify87.0ms

Counts
1 → 1
Iterations
IterNodes
done106
6106
5102
488
368
252
131
018

prune21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.5b

localize26.0ms

Local error

Found 3 expressions with local error:

0.4b
(/ (fma (- 0.0) (log (hypot im re)) (* (log base) (atan2 im re))) (fma (log base) (log base) (* 0.0 0.0)))
0.4b
(* (log base) (atan2 im re))
0.6b
(fma (log base) (log base) (* 0.0 0.0))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
13×*-un-lft-identity add-cube-cbrt
9×times-frac
7×add-cbrt-cube add-exp-log
6×pow1
4×associate-*l*
3×expm1-log1p-u associate-/r* associate-*r* log1p-expm1-u associate-/l* add-log-exp
1×cbrt-undiv clear-num frac-2neg div-exp pow-prod-down prod-exp log-pow *-commutative cbrt-unprod fma-udef div-inv unswap-sqr
Counts
3 → 60
Calls
3 calls:
4.0ms
(/ (fma (- 0.0) (log (hypot im re)) (* (log base) (atan2 im re))) (fma (log base) (log base) (* 0.0 0.0)))
12.0ms
(* (log base) (atan2 im re))
0.0ms
(fma (log base) (log base) (* 0.0 0.0))

series565.0ms

Counts
3 → 9
Calls
3 calls:
177.0ms
(/ (fma (- 0.0) (log (hypot im re)) (* (log base) (atan2 im re))) (fma (log base) (log base) (* 0.0 0.0)))
64.0ms
(* (log base) (atan2 im re))
324.0ms
(fma (log base) (log base) (* 0.0 0.0))

simplify351.0ms

Counts
69 → 69
Iterations
IterNodes
done5000
2727
1222
0116

prune658.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 1 expressions with local error:

0.3b
(/ (atan2 im re) (+ 0 (log base)))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
23×*-un-lft-identity
15×times-frac
11×add-sqr-sqrt add-cube-cbrt
8×distribute-lft-out
5×pow1 associate-/r*
4×log-pow
3×add-cbrt-cube add-exp-log associate-/l*
2×associate-/r/
1×expm1-log1p-u cbrt-undiv clear-num frac-2neg flip3-+ div-exp flip-+ log1p-expm1-u div-inv add-log-exp
Counts
1 → 39
Calls
1 calls:
10.0ms
(/ (atan2 im re) (+ 0 (log base)))

series40.0ms

Counts
1 → 3
Calls
1 calls:
40.0ms
(/ (atan2 im re) (+ 0 (log base)))

simplify317.0ms

Counts
42 → 42
Iterations
IterNodes
done5001
2678
1161
076

prune226.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0b

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
51×add-sqr-sqrt
43×times-frac
36×*-un-lft-identity
34×add-cube-cbrt
32×add-exp-log
20×add-cbrt-cube
13×associate-*r* associate-*l*
11×div-exp
8×prod-exp
7×pow1
6×cbrt-undiv associate-/r* associate-/l* unswap-sqr
4×expm1-log1p-u cbrt-unprod log1p-expm1-u div-inv add-log-exp
3×rec-exp 1-exp
2×clear-num frac-2neg
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative fma-udef pow-flip inv-pow
Counts
4 → 130
Calls
4 calls:
29.0ms
(* (/ 1 (hypot 0.0 (log base))) (/ (fma (log base) (atan2 im re) (* (log (hypot im re)) (- 0.0))) (hypot 0.0 (log base))))
11.0ms
(/ 1 (hypot 0.0 (log base)))
6.0ms
(/ (fma (log base) (atan2 im re) (* (log (hypot im re)) (- 0.0))) (hypot 0.0 (log base)))
0.0ms
(fma (log base) (atan2 im re) (* (log (hypot im re)) (- 0.0)))

series1.1s

Counts
4 → 12
Calls
4 calls:
280.0ms
(* (/ 1 (hypot 0.0 (log base))) (/ (fma (log base) (atan2 im re) (* (log (hypot im re)) (- 0.0))) (hypot 0.0 (log base))))
541.0ms
(/ 1 (hypot 0.0 (log base)))
262.0ms
(/ (fma (log base) (atan2 im re) (* (log (hypot im re)) (- 0.0))) (hypot 0.0 (log base)))
59.0ms
(fma (log base) (atan2 im re) (* (log (hypot im re)) (- 0.0)))

simplify1.6s

Counts
142 → 142
Iterations
IterNodes
done5001
23066
1469
0182

prune965.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0b

localize12.0ms

Local error

Found 1 expressions with local error:

0.3b
(/ (atan2 im re) (- (log base)))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
36×times-frac
26×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
16×distribute-lft-neg-in distribute-rgt-neg-in
12×associate-/r*
9×pow1
8×log-pow
4×neg-mul-1
3×add-cbrt-cube add-exp-log associate-/l*
1×expm1-log1p-u cbrt-undiv clear-num frac-2neg div-exp log1p-expm1-u div-inv add-log-exp
Counts
1 → 65
Calls
1 calls:
7.0ms
(/ (atan2 im re) (- (log base)))

series52.0ms

Counts
1 → 3
Calls
1 calls:
52.0ms
(/ (atan2 im re) (- (log base)))

simplify1.5s

Counts
68 → 68
Iterations
IterNodes
done5001
33854
2697
1201
0108

prune319.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0b

regimes458.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done10
110
08

end0.0ms

sample3.7s

Algorithm
intervals
Results
1.9s7946×body80nan
1.2s8000×body80valid