Details

Time bar (total: 1.4m)

sample1.2s

Algorithm
intervals
Results
897.0ms296×body10240exit
159.0ms533×body80nan
90.0ms256×body80valid

simplify19.0ms

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

prune21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.9b

localize46.0ms

Local error

Found 4 expressions with local error:

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

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1
20×add-sqr-sqrt add-cbrt-cube add-exp-log
17×*-un-lft-identity
15×add-cube-cbrt
12×log-prod
10×associate-*l* log-pow
8×associate-*r*
6×distribute-rgt-in distribute-lft-in swap-sqr prod-exp cbrt-unprod
4×cbrt-undiv div-exp insert-posit16 add-log-exp
3×sqrt-prod
2×sqrt-pow1 pow1/2 sqrt-div pow-prod-down *-commutative unswap-sqr
1×pow2 rem-sqrt-square clear-num associate-/r* frac-2neg flip3-+ times-frac pow-plus pow-sqr pow-prod-up flip-+ div-inv associate-/l*
Counts
4 → 104
Calls
4 calls:
Slowest
16.0ms
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
15.0ms
(/ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (log base) (log base)))
8.0ms
(* (log base) (log base))
6.0ms
(sqrt (+ (* re re) (* im im)))

series567.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
246.0ms
(* (log base) (log base))
142.0ms
(/ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (log base) (log base)))
134.0ms
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
45.0ms
(sqrt (+ (* re re) (* im im)))

simplify6.4s

Counts
83 → 116
Calls
83 calls:
Slowest
686.0ms
(/ (* (* (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) (log base))) (* (log (sqrt (+ (* re re) (* im im)))) (log base))) (* (* (* (log base) (log base)) (* (log base) (log base))) (* (log base) (log base))))
586.0ms
(/ (* (* (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) (log base))) (* (log (sqrt (+ (* re re) (* im im)))) (log base))) (* (* (* (log base) (log base)) (log base)) (* (* (log base) (log base)) (log base))))
543.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))))
473.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))))
449.0ms
(- (log (* (log (sqrt (+ (* re re) (* im im)))) (log base))) (log (* (log base) (log base))))

prune1.5s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 7.5b

localize31.0ms

Local error

Found 4 expressions with local error:

27.6b
(sqrt (+ (* re re) (* im im)))
0.5b
(* (log base) (log base))
0.3b
(/ (* (log base) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
0.3b
(/ 1 (/ (* (log base) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) (log base))))

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
62×add-exp-log
36×add-cbrt-cube
26×div-exp
24×add-sqr-sqrt
23×*-un-lft-identity
21×add-cube-cbrt
20×times-frac
19×pow1
17×prod-exp
13×cbrt-undiv
9×cbrt-unprod
6×log-prod associate-/r* swap-sqr log-pow div-inv
5×rec-exp 1-exp
4×associate-*r* associate-*l* insert-posit16 associate-/l* add-log-exp
3×distribute-rgt-in distribute-lft-in sqrt-prod
2×clear-num frac-2neg sqrt-div
1×pow2 rem-sqrt-square sqrt-pow1 flip3-+ pow-plus pow1/2 pow-prod-down associate-/r/ pow-sqr *-commutative pow-prod-up flip-+ pow-flip inv-pow unswap-sqr
Counts
4 → 132
Calls
4 calls:
Slowest
32.0ms
(/ 1 (/ (* (log base) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) (log base))))
31.0ms
(/ (* (log base) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
24.0ms
(* (log base) (log base))
6.0ms
(sqrt (+ (* re re) (* im im)))

series679.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
238.0ms
(* (log base) (log base))
195.0ms
(/ 1 (/ (* (log base) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) (log base))))
185.0ms
(/ (* (log base) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
60.0ms
(sqrt (+ (* re re) (* im im)))

simplify25.8s

Counts
119 → 144
Calls
119 calls:
Slowest
1.1s
(- (log (* (log base) (log base))) (+ (log (log (sqrt (+ (* re re) (* im im))))) (log (log base))))
940.0ms
(- 0 (- (log (* (log base) (log base))) (log (* (log (sqrt (+ (* re re) (* im im)))) (log base)))))
841.0ms
(/ 1 (sqrt (/ (* (log base) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) (log base)))))
792.0ms
(/ 1 (sqrt (/ (* (log base) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) (log base)))))
781.0ms
(/ (cbrt 1) (/ (* (log base) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) (log base))))

prune1.9s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 7.4b

localize27.0ms

Local error

Found 3 expressions with local error:

27.6b
(sqrt (+ (* im im) (* re re)))
0.4b
(/ (log (sqrt (+ (* im im) (* re re)))) (log base))
0.0b
(+ (* im im) (* re re))

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
24×times-frac
22×log-pow
21×pow1
17×add-sqr-sqrt
16×*-un-lft-identity add-cube-cbrt
6×sqrt-pow1 pow1/2 associate-/l*
5×add-cbrt-cube add-exp-log add-log-exp
4×associate-/r* sqrt-div
3×flip3-+ sqrt-prod flip-+ insert-posit16
2×log-div div-sub
1×cbrt-undiv +-commutative rem-sqrt-square clear-num sum-log frac-2neg div-exp div-inv
Counts
3 → 77
Calls
3 calls:
Slowest
39.0ms
(/ (log (sqrt (+ (* im im) (* re re)))) (log base))
12.0ms
(sqrt (+ (* im im) (* re re)))
7.0ms
(+ (* im im) (* re re))

series244.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
139.0ms
(/ (log (sqrt (+ (* im im) (* re re)))) (log base))
54.0ms
(sqrt (+ (* im im) (* re re)))
50.0ms
(+ (* im im) (* re re))

simplify2.9s

Counts
76 → 86
Calls
76 calls:
Slowest
470.0ms
(/ (* (* (log (sqrt (+ (* im im) (* re re)))) (log (sqrt (+ (* im im) (* re re))))) (log (sqrt (+ (* im im) (* re re))))) (* (* (log base) (log base)) (log base)))
319.0ms
(/ (log (sqrt (+ (pow (* im im) 3) (pow (* re re) 3)))) (log base))
304.0ms
(sqrt (+ (pow (* im im) 3) (pow (* re re) 3)))
251.0ms
(sqrt (- (* (* im im) (* im im)) (* (* re re) (* re re))))
237.0ms
(/ (log (sqrt (- (* (* im im) (* im im)) (* (* re re) (* re re))))) (log base))

prune1.1s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 0.2b

localize48.0ms

Local error

Found 4 expressions with local error:

27.6b
(sqrt (+ (* im im) (* re re)))
0.4b
(* (log (sqrt (+ (* im im) (* re re)))) (/ 1 (log base)))
0.3b
(/ 1 (log base))
0.0b
(+ (* im im) (* re re))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
26×times-frac
24×*-un-lft-identity
23×add-cube-cbrt
17×pow1 add-exp-log
16×associate-*r*
11×add-cbrt-cube
10×log-pow
6×associate-*l* add-log-exp
4×associate-/r* div-exp prod-exp insert-posit16
3×sqrt-prod associate-/l* unswap-sqr
2×cbrt-undiv rec-exp sqrt-pow1 flip3-+ pow1/2 sqrt-div 1-exp cbrt-unprod flip-+ div-inv
1×+-commutative rem-sqrt-square clear-num sum-log frac-2neg pow-prod-down associate-*r/ un-div-inv *-commutative pow-flip inv-pow
Counts
4 → 107
Calls
4 calls:
Slowest
18.0ms
(* (log (sqrt (+ (* im im) (* re re)))) (/ 1 (log base)))
12.0ms
(sqrt (+ (* im im) (* re re)))
7.0ms
(+ (* im im) (* re re))
4.0ms
(/ 1 (log base))

series858.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
524.0ms
(* (log (sqrt (+ (* im im) (* re re)))) (/ 1 (log base)))
238.0ms
(/ 1 (log base))
55.0ms
(sqrt (+ (* im im) (* re re)))
41.0ms
(+ (* im im) (* re re))

simplify3.4s

Counts
88 → 119
Calls
88 calls:
Slowest
437.0ms
(* (* (* (log (sqrt (+ (* im im) (* re re)))) (log (sqrt (+ (* im im) (* re re))))) (log (sqrt (+ (* im im) (* re re))))) (* (* (/ 1 (log base)) (/ 1 (log base))) (/ 1 (log base))))
358.0ms
(* (* (* (log (sqrt (+ (* im im) (* re re)))) (log (sqrt (+ (* im im) (* re re))))) (log (sqrt (+ (* im im) (* re re))))) (/ (* (* 1 1) 1) (* (* (log base) (log base)) (log base))))
302.0ms
(sqrt (+ (pow (* im im) 3) (pow (* re re) 3)))
231.0ms
(sqrt (- (* (* im im) (* im im)) (* (* re re) (* re re))))
177.0ms
(* -1 (/ (log (/ -1 im)) (- (log -1) (log (/ -1 base)))))

prune1.4s

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 0.2b

regimes603.0ms

Accuracy

60.6% (11.9b remaining)

Error of 12.3b against oracle of 0.3b and baseline of 30.6b

bsearch1.3s

end0.0ms

sample36.5s

Algorithm
intervals
Results
27.7s8017×body10240exit
5.0s16149×body80nan
3.0s8000×body80valid