Details

Time bar (total: 1.2m)

sample1.0s

Algorithm
intervals
Results
719.0ms228×body10240exit
155.0ms512×body80nan
92.0ms256×body80valid

simplify28.0ms

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

prune44.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.8b

localize31.0ms

Local error

Found 4 expressions with local error:

26.5b
(sqrt (+ (* re re) (* im im)))
0.5b
(* (log base) (log base))
0.4b
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
0.4b
(/ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (log base) (log base)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
20×add-cbrt-cube add-exp-log
12×pow1
10×add-sqr-sqrt
9×*-un-lft-identity add-cube-cbrt
8×associate-*l*
6×associate-*r* prod-exp cbrt-unprod
4×cbrt-undiv div-exp insert-posit16 add-log-exp
3×sqrt-prod
2×pow1/2 sqrt-div pow-prod-down log-pow *-commutative
1×pow2 rem-sqrt-square clear-num associate-/r* frac-2neg flip3-+ times-frac pow-plus pow-prod-up flip-+ div-inv associate-/l*
Calls
4 calls:
Slowest
11.0ms
(/ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (log base) (log base)))
6.0ms
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
4.0ms
(* (log base) (log base))
2.0ms
(sqrt (+ (* re re) (* im im)))

series395.0ms

Calls
4 calls:
Slowest
188.0ms
(* (log base) (log base))
105.0ms
(/ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (log base) (log base)))
84.0ms
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
19.0ms
(sqrt (+ (* re re) (* im im)))

simplify6.3s

Calls
49 calls:
Slowest
982.0ms
(/ (* (* (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im))))) (log (sqrt (+ (* re re) (* im im))))) (* (* (log base) (log base)) (log base))) (* (* (* (log base) (log base)) (log base)) (* (* (log base) (log base)) (log base))))
626.0ms
(/ (* (* (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im))))) (log (sqrt (+ (* re re) (* im im))))) (* (* (log base) (log base)) (log base))) (* (* (* (log base) (log base)) (* (log base) (log base))) (* (log base) (log base))))
598.0ms
(- (+ (log (log (sqrt (+ (* re re) (* im im))))) (log (log base))) (+ (log (log base)) (log (log base))))
498.0ms
(pow (- (log -1) (log (/ -1 base))) 2)
489.0ms
(- (log (* (log (sqrt (+ (* re re) (* im im)))) (log base))) (log (* (log base) (log base))))

prune1.1s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 6.6b

localize6.0ms

Local error

Found 4 expressions with local error:

26.5b
(sqrt (+ (* re re) (* im im)))
0.5b
(* (log base) (log base))
0.4b
(* (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (/ 1 (* (log base) (log base))))
0.4b
(* (log (sqrt (+ (* re re) (* im im)))) (log base))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
25×add-exp-log
17×pow1
13×add-cbrt-cube prod-exp
11×add-sqr-sqrt
10×*-un-lft-identity associate-*r* add-cube-cbrt
9×associate-*l*
5×pow-prod-down cbrt-unprod
4×rec-exp insert-posit16 add-log-exp
3×*-commutative sqrt-prod
2×pow1/2 sqrt-div log-pow
1×pow2 rem-sqrt-square flip3-+ pow-plus associate-*r/ un-div-inv pow-prod-up flip-+ div-inv
Calls
4 calls:
Slowest
29.0ms
(* (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (/ 1 (* (log base) (log base))))
6.0ms
(* (log base) (log base))
6.0ms
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
2.0ms
(sqrt (+ (* re re) (* im im)))

series393.0ms

Calls
4 calls:
Slowest
177.0ms
(* (log base) (log base))
106.0ms
(* (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (/ 1 (* (log base) (log base))))
89.0ms
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
20.0ms
(sqrt (+ (* re re) (* im im)))

simplify6.5s

Calls
54 calls:
Slowest
942.0ms
(* (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (/ 1 (* (log base) (log base))))
813.0ms
(* (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (/ 1 (* (log base) (log base))))
762.0ms
(+ (+ (log (log (sqrt (+ (* re re) (* im im))))) (log (log base))) (log (/ 1 (* (log base) (log base)))))
486.0ms
(* -1 (* (log (/ -1 re)) (- (log -1) (log (/ -1 base)))))
481.0ms
(+ (+ (log (log (sqrt (+ (* re re) (* im im))))) (log (log base))) (- (log (* (log base) (log base)))))

prune1.2s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 6.6b

localize20.0ms

Local error

Found 4 expressions with local error:

26.5b
(sqrt (+ (* re re) (* im im)))
0.5b
(* (log base) (log base))
0.5b
(* (log base) (log base))
0.5b
(* (* (* (log base) (log base)) (log base)) (* (* (log base) (log base)) (log base)))

rewrite102.0ms

Algorithm
rewrite-expression-head
Rules
286×pow1
166×pow-prod-up
111×pow-plus
71×pow-prod-down
44×add-cbrt-cube add-exp-log
39×pow2
29×prod-exp cbrt-unprod
16×pow3
10×add-sqr-sqrt
9×*-un-lft-identity add-cube-cbrt
7×associate-*r* associate-*l*
4×insert-posit16 add-log-exp
3×*-commutative sqrt-prod
2×sqrt-div
1×rem-sqrt-square flip3-+ pow1/2 flip-+
Calls
4 calls:
Slowest
72.0ms
(* (* (* (log base) (log base)) (log base)) (* (* (log base) (log base)) (log base)))
9.0ms
(* (log base) (log base))
9.0ms
(* (log base) (log base))
4.0ms
(sqrt (+ (* re re) (* im im)))

series608.0ms

Calls
4 calls:
Slowest
207.0ms
(* (* (* (log base) (log base)) (log base)) (* (* (log base) (log base)) (log base)))
201.0ms
(* (log base) (log base))
168.0ms
(* (log base) (log base))
32.0ms
(sqrt (+ (* re re) (* im im)))

simplify7.1s

Calls
229 calls:
Slowest
586.0ms
(pow (- (log -1) (log (/ -1 base))) 2)
452.0ms
(pow (- (log -1) (log (/ -1 base))) 2)
437.0ms
(* (* (* (* (* (log base) (log base)) (log base)) (* (* (log base) (log base)) (log base))) (* (* (log base) (log base)) (log base))) (* (* (* (* (log base) (log base)) (log base)) (* (* (log base) (log base)) (log base))) (* (* (log base) (log base)) (log base))))
416.0ms
(* (* (* (* (* (log base) (log base)) (log base)) (* (* (log base) (log base)) (log base))) (* (* (log base) (log base)) (log base))) (* (* (* (* (log base) (log base)) (log base)) (* (* (log base) (log base)) (log base))) (* (* (log base) (log base)) (log base))))
388.0ms
(* (* (* (* (* (log base) (log base)) (log base)) (* (* (log base) (log base)) (log base))) (* (* (log base) (log base)) (log base))) (* (* (* (* (log base) (log base)) (* (log base) (log base))) (* (log base) (log base))) (* (* (log base) (log base)) (log base))))

prune2.5s

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 6.6b

localize11.0ms

Local error

Found 4 expressions with local error:

26.5b
(sqrt (+ (* re re) (* im im)))
1.2b
(pow (log base) 6)
0.4b
(cbrt (pow (log base) 6))
0.4b
(* (log (sqrt (+ (* re re) (* im im)))) (log base))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
10×*-un-lft-identity add-cube-cbrt
8×pow1
7×add-exp-log
6×cbrt-prod unpow-prod-down add-cbrt-cube
5×associate-*l*
4×insert-posit16 add-log-exp
3×associate-*r* sqrt-prod
2×pow1/2 sqrt-div log-pow
1×pow-to-exp rem-sqrt-square pow-pow flip3-+ pow1/3 pow-prod-down pow-exp prod-exp *-commutative cbrt-unprod flip-+
Calls
4 calls:
Slowest
5.0ms
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
2.0ms
(sqrt (+ (* re re) (* im im)))
1.0ms
(pow (log base) 6)
1.0ms
(cbrt (pow (log base) 6))

series450.0ms

Calls
4 calls:
Slowest
173.0ms
(cbrt (pow (log base) 6))
167.0ms
(pow (log base) 6)
91.0ms
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
18.0ms
(sqrt (+ (* re re) (* im im)))

simplify1.6s

Calls
37 calls:
Slowest
459.0ms
(pow (- (log -1) (log (/ -1 base))) 2)
381.0ms
(* -1 (* (log (/ -1 re)) (- (log -1) (log (/ -1 base)))))
197.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
151.0ms
(* (* (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im))))) (log (sqrt (+ (* re re) (* im im))))) (* (* (log base) (log base)) (log base)))
100.0ms
(sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))

prune1.1s

Pruning

17 alts after pruning (15 fresh and 2 done)

Merged error: 6.6b

regimes868.0ms

Accuracy

58.9% (10.0b remaining)

Error of 17.3b against oracle of 7.3b and baseline of 31.6b

bsearch3.0s

end0.0ms

sample35.1s

Algorithm
intervals
Results
26.9s8027×body10240exit
5.1s16158×body80nan
2.2s8000×body80valid