Details

Time bar (total: 34.8s)

sample56.0ms

Algorithm
intervals
Results
41.0ms256×body80valid

simplify28.0ms

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

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.5b

localize13.0ms

Local error

Found 2 expressions with local error:

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

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

series254.0ms

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

simplify1.3s

Counts
46 → 56
Calls
46 calls:
Slowest
505.0ms
(/ (* (* (log (hypot re im)) (log (hypot re im))) (log (hypot re im))) (* (* (log 10) (log 10)) (log 10)))
136.0ms
(* -1 (/ (log (/ 1 re)) (log 10)))
114.0ms
(* -1 (/ (log (/ -1 re)) (log 10)))
48.0ms
(/ (* (cbrt (log (hypot re im))) (cbrt (log (hypot re im)))) (* (cbrt (log 10)) (cbrt (log 10))))
27.0ms
(/ (* (cbrt (log (hypot re im))) (cbrt (log (hypot re im)))) (sqrt (log 10)))

prune563.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.1b

localize28.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ (log (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im)))) (log 10))
0.5b
(cbrt (hypot re im))
0.5b
(cbrt (hypot re im))
0.5b
(cbrt (hypot re im))

rewrite124.0ms

Algorithm
rewrite-expression-head
Rules
123×pow1
94×log-pow
72×times-frac
48×pow1/3
45×pow-prod-up
31×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
30×pow-plus
25×pow-prod-down
18×associate-/l*
15×pow-sqr
10×pow2
9×cbrt-prod
6×add-cbrt-cube add-exp-log
5×pow3
4×expm1-log1p-u associate-/r* insert-posit16 log1p-expm1-u add-log-exp
1×cbrt-undiv clear-num frac-2neg div-exp div-inv
Counts
4 → 151
Calls
4 calls:
Slowest
114.0ms
(/ (log (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im)))) (log 10))
1.0ms
(cbrt (hypot re im))
1.0ms
(cbrt (hypot re im))
1.0ms
(cbrt (hypot re im))

series688.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
201.0ms
(/ (log (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im)))) (log 10))
182.0ms
(cbrt (hypot re im))
171.0ms
(cbrt (hypot re im))
135.0ms
(cbrt (hypot re im))

simplify6.9s

Counts
183 → 163
Calls
183 calls:
Slowest
266.0ms
(/ (* (* (log (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im)))) (log (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im))))) (log (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im))))) (* (* (log 10) (log 10)) (log 10)))
231.0ms
(+ (* 1/6 (* (pow re 2) (pow (/ 1 (pow im 5)) 1/3))) (pow im 1/3))
211.0ms
(+ (* 1/6 (* (pow re 2) (pow (/ 1 (pow im 5)) 1/3))) (pow im 1/3))
187.0ms
(+ (* 1/6 (* (pow re 2) (pow (/ 1 (pow im 5)) 1/3))) (pow im 1/3))
148.0ms
(/ (* (cbrt (log (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im))))) (cbrt (log (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im)))))) (* (cbrt (log 10)) (cbrt (log 10))))

prune1.9s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.6b
(/ (log (cbrt (hypot re im))) (log 10))
0.5b
(cbrt (hypot re im))
0.3b
(* 3 (/ (log (cbrt (hypot re im))) (log 10)))
0.0b
(log (cbrt (hypot re im)))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
41×times-frac
34×add-sqr-sqrt
31×log-pow
29×*-un-lft-identity add-cube-cbrt
27×pow1
24×associate-*r*
12×add-exp-log
11×add-cbrt-cube pow1/3
6×cbrt-prod log-prod
5×associate-/l*
4×expm1-log1p-u associate-/r* insert-posit16 log1p-expm1-u add-log-exp
3×associate-*l*
2×cbrt-undiv div-exp prod-exp cbrt-unprod div-inv unswap-sqr
1×clear-num frac-2neg rem-log-exp pow-prod-down associate-*r/ *-commutative
Counts
4 → 123
Calls
4 calls:
Slowest
18.0ms
(* 3 (/ (log (cbrt (hypot re im))) (log 10)))
12.0ms
(/ (log (cbrt (hypot re im))) (log 10))
3.0ms
(log (cbrt (hypot re im)))
1.0ms
(cbrt (hypot re im))

series791.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
231.0ms
(/ (log (cbrt (hypot re im))) (log 10))
223.0ms
(* 3 (/ (log (cbrt (hypot re im))) (log 10)))
180.0ms
(cbrt (hypot re im))
157.0ms
(log (cbrt (hypot re im)))

simplify4.9s

Counts
106 → 135
Calls
106 calls:
Slowest
675.0ms
(* (* (* 3 3) 3) (* (* (/ (log (cbrt (hypot re im))) (log 10)) (/ (log (cbrt (hypot re im))) (log 10))) (/ (log (cbrt (hypot re im))) (log 10))))
551.0ms
(/ (* (* (log (cbrt (hypot re im))) (log (cbrt (hypot re im)))) (log (cbrt (hypot re im)))) (* (* (log 10) (log 10)) (log 10)))
378.0ms
(/ (log (pow (/ -1 re) -1/3)) (log 10))
365.0ms
(* 3 (/ (log (pow im 1/3)) (log 10)))
316.0ms
(/ (log (pow (/ 1 re) -1/3)) (log 10))

prune1.4s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.0b

localize51.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (hypot re im))
0.4b
(/ (log (cbrt (hypot re im))) (sqrt (log 10)))
0.2b
(* (* 3 (/ 1 (sqrt (log 10)))) (/ (log (cbrt (hypot re im))) (sqrt (log 10))))
0.0b
(log (cbrt (hypot re im)))

rewrite75.0ms

Algorithm
rewrite-expression-head
Rules
70×times-frac
45×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
44×sqrt-prod
43×log-pow
42×add-exp-log
39×associate-*r*
36×pow1
27×add-cbrt-cube
18×prod-exp
17×pow1/3
10×div-exp cbrt-unprod
7×associate-/r*
6×cbrt-prod cbrt-undiv log-prod
5×associate-/l*
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow-prod-down associate-*r/
2×frac-times rec-exp 1-exp associate-*l/ un-div-inv div-inv
1×clear-num frac-2neg rem-log-exp associate-*l* *-commutative
Counts
4 → 169
Calls
4 calls:
Slowest
51.0ms
(* (* 3 (/ 1 (sqrt (log 10)))) (/ (log (cbrt (hypot re im))) (sqrt (log 10))))
14.0ms
(/ (log (cbrt (hypot re im))) (sqrt (log 10)))
3.0ms
(log (cbrt (hypot re im)))
1.0ms
(cbrt (hypot re im))

series983.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
355.0ms
(/ (log (cbrt (hypot re im))) (sqrt (log 10)))
321.0ms
(* (* 3 (/ 1 (sqrt (log 10)))) (/ (log (cbrt (hypot re im))) (sqrt (log 10))))
155.0ms
(log (cbrt (hypot re im)))
152.0ms
(cbrt (hypot re im))

simplify10.9s

Counts
167 → 181
Calls
167 calls:
Slowest
521.0ms
(+ (+ (log 3) (- 0 (log (sqrt (log 10))))) (- (log (log (cbrt (hypot re im)))) (log (sqrt (log 10)))))
468.0ms
(+ (log (* 3 (/ 1 (sqrt (log 10))))) (log (/ (log (cbrt (hypot re im))) (sqrt (log 10)))))
457.0ms
(+ (+ (log 3) (- 0 (log (sqrt (log 10))))) (log (/ (log (cbrt (hypot re im))) (sqrt (log 10)))))
443.0ms
(* (* (* (* 3 3) 3) (/ (* (* 1 1) 1) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10))))) (/ (* (* (log (cbrt (hypot re im))) (log (cbrt (hypot re im)))) (log (cbrt (hypot re im)))) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))))
438.0ms
(+ (log (* 3 (/ 1 (sqrt (log 10))))) (- (log (log (cbrt (hypot re im)))) (log (sqrt (log 10)))))

prune2.3s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0b

regimes115.0ms

Accuracy

0% (0.3b remaining)

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

bsearch3.0ms

end0.0ms

sample1.3s

Algorithm
intervals
Results
1.1s8000×body80valid