Details

Time bar (total: 50.3s)

sample1.0s

Algorithm
intervals
Results
719.0ms234×body10240exit
188.0ms521×body80nan
64.0ms256×body80valid

simplify118.0ms

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

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize13.0ms

Local error

Found 3 expressions with local error:

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

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
16×times-frac
14×add-sqr-sqrt pow1 *-un-lft-identity add-cube-cbrt
11×log-pow
6×add-exp-log
5×add-cbrt-cube
4×associate-/r* associate-/l*
3×expm1-log1p-u log-prod insert-posit16 log1p-expm1-u add-log-exp
1×cbrt-undiv hypot-udef clear-num frac-2neg div-exp rem-log-exp div-inv
Calls
3 calls:
Slowest
6.0ms
(/ (log (hypot re im)) (log base))
1.0ms
(log (hypot re im))
0.0ms
(hypot re im)

series323.0ms

Calls
3 calls:
Slowest
142.0ms
(/ (log (hypot re im)) (log base))
105.0ms
(log (hypot re im))
77.0ms
(hypot re im)

simplify1.3s

Calls
53 calls:
Slowest
414.0ms
(/ (* (* (log (hypot re im)) (log (hypot re im))) (log (hypot re im))) (* (* (log base) (log base)) (log base)))
225.0ms
(* -1 (/ (log (/ -1 re)) (- (log -1) (log (/ -1 base)))))
71.0ms
(/ (* (cbrt (log (hypot re im))) (cbrt (log (hypot re im)))) (* (cbrt (log base)) (cbrt (log base))))
38.0ms
(/ (log (/ 1 re)) (log (/ 1 base)))
37.0ms
(/ (* (cbrt (log (hypot re im))) (cbrt (log (hypot re im)))) (sqrt (log base)))

prune721.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize43.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.5b
(* (cbrt (hypot re im)) (cbrt (hypot re im)))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3
8×add-cbrt-cube
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×expm1-log1p-u cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative
Calls
4 calls:
Slowest
9.0ms
(* (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))

series539.0ms

Calls
4 calls:
Slowest
151.0ms
(* (cbrt (hypot re im)) (cbrt (hypot re im)))
146.0ms
(cbrt (hypot re im))
124.0ms
(cbrt (hypot re im))
118.0ms
(cbrt (hypot re im))

simplify1.9s

Calls
68 calls:
Slowest
265.0ms
(+ (* 1/6 (* (pow re 2) (pow (/ 1 (pow im 5)) 1/3))) (pow im 1/3))
196.0ms
(+ (* 1/6 (* (pow re 2) (pow (/ 1 (pow im 5)) 1/3))) (pow im 1/3))
192.0ms
(+ (* 1/6 (* (pow re 2) (pow (/ 1 (pow im 5)) 1/3))) (pow im 1/3))
166.0ms
(* (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im))) (hypot re im))
164.0ms
(* (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im))) (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im))))

prune1.4s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.0b

localize61.0ms

Local error

Found 4 expressions with local error:

4.2b
(expm1 (log1p (* (cbrt (hypot re im)) (cbrt (hypot re im)))))
0.6b
(cbrt (hypot re im))
0.6b
(cbrt (hypot re im))
0.6b
(cbrt (hypot re im))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
5×log1p-expm1-u
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 add-log-exp
3×pow1/3
2×expm1-log1p
1×expm1-udef
Calls
4 calls:
Slowest
1.0ms
(cbrt (hypot re im))
1.0ms
(cbrt (hypot re im))
1.0ms
(cbrt (hypot re im))
1.0ms
(expm1 (log1p (* (cbrt (hypot re im)) (cbrt (hypot re im)))))

series656.0ms

Calls
4 calls:
Slowest
199.0ms
(expm1 (log1p (* (cbrt (hypot re im)) (cbrt (hypot re im)))))
160.0ms
(cbrt (hypot re im))
155.0ms
(cbrt (hypot re im))
142.0ms
(cbrt (hypot re im))

simplify1.0s

Calls
23 calls:
Slowest
231.0ms
(+ (* 1/6 (* (pow re 2) (pow (/ 1 (pow im 5)) 1/3))) (pow im 1/3))
193.0ms
(+ (* 1/6 (* (pow re 2) (pow (/ 1 (pow im 5)) 1/3))) (pow im 1/3))
175.0ms
(+ (* 1/6 (* (pow re 2) (pow (/ 1 (pow im 5)) 1/3))) (pow im 1/3))
153.0ms
(+ (pow im 2/3) (* 1/3 (* (pow re 2) (pow (/ 1 (pow im 4)) 1/3))))
34.0ms
(pow (/ 1 re) -1/3)

prune1.0s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.0b

localize78.0ms

Local error

Found 4 expressions with local error:

5.1b
(pow (hypot re im) 1/3)
4.2b
(expm1 (log1p (* (cbrt (hypot re im)) (cbrt (hypot re im)))))
0.6b
(cbrt (hypot re im))
0.6b
(cbrt (hypot re im))

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×cbrt-prod
5×pow1 add-exp-log log1p-expm1-u
4×expm1-log1p-u add-cbrt-cube insert-posit16 add-log-exp
3×pow-unpow unpow-prod-down
2×expm1-log1p pow1/3
1×pow-to-exp hypot-udef pow-pow unpow1/3 pow-exp sqrt-pow2 expm1-udef sqr-pow
Calls
4 calls:
Slowest
2.0ms
(pow (hypot re im) 1/3)
1.0ms
(cbrt (hypot re im))
1.0ms
(cbrt (hypot re im))
0.0ms
(expm1 (log1p (* (cbrt (hypot re im)) (cbrt (hypot re im)))))

series615.0ms

Calls
4 calls:
Slowest
207.0ms
(expm1 (log1p (* (cbrt (hypot re im)) (cbrt (hypot re im)))))
148.0ms
(cbrt (hypot re im))
132.0ms
(cbrt (hypot re im))
128.0ms
(pow (hypot re im) 1/3)

simplify1.3s

Calls
28 calls:
Slowest
226.0ms
(+ (* 1/6 (* (pow re 2) (pow (/ 1 (pow im 5)) 1/3))) (pow im 1/3))
217.0ms
(+ (* 1/6 (* (pow re 2) (pow (/ 1 (pow im 5)) 1/3))) (pow im 1/3))
212.0ms
(+ (pow im 2/3) (* 1/3 (* (pow re 2) (pow (/ 1 (pow im 4)) 1/3))))
199.0ms
(+ (* 1/6 (* (pow re 2) (pow (/ 1 (pow im 5)) 1/3))) (pow im 1/3))
90.0ms
(pow (* (cbrt (hypot re im)) (cbrt (hypot re im))) 1/3)

prune1.2s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.0b

regimes574.0ms

Accuracy

0% (0.4b remaining)

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

bsearch2.0ms

end0.0ms

sample36.4s

Algorithm
intervals
Results
27.9s7998×body10240exit
5.6s16085×body80nan
2.1s8000×body80valid