Details

Time bar (total: 1.2m)

sample1.4s

Algorithm
intervals
Results
1.2s266×body10240exit
106.0ms499×body80nan
75.0ms256×body80valid

simplify49.0ms

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

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.8b

localize47.0ms

Local error

Found 4 expressions with local error:

25.6b
(sqrt (+ (* re re) (* im im)))
0.6b
(* (log base) (log base))
0.4b
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
0.3b
(/ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (log base) (log base)))

rewrite60.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
18.0ms
(/ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (log base) (log base)))
17.0ms
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
13.0ms
(sqrt (+ (* re re) (* im im)))
10.0ms
(* (log base) (log base))

series505.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
216.0ms
(* (log base) (log base))
128.0ms
(/ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (log base) (log base)))
109.0ms
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
52.0ms
(sqrt (+ (* re re) (* im im)))

simplify7.2s

Counts
83 → 116
Calls
83 calls:
Slowest
822.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))))
741.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))))
624.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))))
555.0ms
(- (+ (log (log (sqrt (+ (* re re) (* im im))))) (log (log base))) (+ (log (log base)) (log (log base))))
545.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)))

prune1.5s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 8.0b

localize26.0ms

Local error

Found 3 expressions with local error:

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

rewrite48.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
30.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log base))
8.0ms
(+ (* re re) (* im im))
8.0ms
(sqrt (+ (* re re) (* im im)))

series232.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
143.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log base))
56.0ms
(sqrt (+ (* re re) (* im im)))
32.0ms
(+ (* re re) (* im im))

simplify3.1s

Counts
76 → 86
Calls
76 calls:
Slowest
450.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)))
317.0ms
(sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))
290.0ms
(/ (log (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))) (log base))
289.0ms
(/ (log (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))) (log base))
275.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))

prune1.0s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 8.0b

localize46.0ms

Local error

Found 4 expressions with local error:

25.6b
(sqrt (+ (* re re) (* im im)))
0.6b
(* (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))

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
53×add-exp-log
29×add-cbrt-cube prod-exp
28×pow1
22×add-sqr-sqrt
19×*-un-lft-identity
17×add-cube-cbrt
15×associate-*r*
13×cbrt-unprod
12×log-prod
11×associate-*l*
10×log-pow
8×div-exp
6×distribute-rgt-in distribute-lft-in swap-sqr
5×pow-prod-down
4×cbrt-undiv rec-exp 1-exp insert-posit16 add-log-exp
3×times-frac *-commutative sqrt-prod
2×sqrt-pow1 pow1/2 sqrt-div unswap-sqr
1×pow2 rem-sqrt-square flip3-+ pow-plus associate-*r/ pow-sqr un-div-inv pow-prod-up flip-+ div-inv
Counts
4 → 123
Calls
4 calls:
Slowest
65.0ms
(* (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (/ 1 (* (log base) (log base))))
23.0ms
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
9.0ms
(* (log base) (log base))
7.0ms
(sqrt (+ (* re re) (* im im)))

series556.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
227.0ms
(* (log base) (log base))
133.0ms
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
130.0ms
(* (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (/ 1 (* (log base) (log base))))
67.0ms
(sqrt (+ (* re re) (* im im)))

simplify13.2s

Counts
103 → 135
Calls
103 calls:
Slowest
1.0s
(* (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (/ 1 (* (log base) (log base))))
983.0ms
(* (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (/ 1 (* (log base) (log base))))
832.0ms
(+ (+ (log (log (sqrt (+ (* re re) (* im im))))) (log (log base))) (log (/ 1 (* (log base) (log base)))))
702.0ms
(+ (log (* (log (sqrt (+ (* re re) (* im im)))) (log base))) (- (log 1) (log (* (log base) (log base)))))
522.0ms
(+ (+ (log (log (sqrt (+ (* re re) (* im im))))) (log (log base))) (- (log (* (log base) (log base)))))

prune1.9s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 8.0b

localize77.0ms

Local error

Found 4 expressions with local error:

25.6b
(sqrt (+ (* re re) (* im im)))
0.6b
(cbrt base)
0.6b
(cbrt base)
0.6b
(cbrt base)

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
5×pow1
4×add-cbrt-cube add-exp-log insert-posit16 add-log-exp
3×pow1/3 sqrt-prod
2×sqrt-div
1×rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 flip-+
Counts
4 → 52
Calls
4 calls:
Slowest
18.0ms
(sqrt (+ (* re re) (* im im)))
2.0ms
(cbrt base)
2.0ms
(cbrt base)
2.0ms
(cbrt base)

series881.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
277.0ms
(cbrt base)
277.0ms
(cbrt base)
264.0ms
(cbrt base)
64.0ms
(sqrt (+ (* re re) (* im im)))

simplify1.5s

Counts
28 → 64
Calls
28 calls:
Slowest
638.0ms
(sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))
248.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
177.0ms
(* (cbrt -1) (pow (* base -1) 1/3))
147.0ms
(* (cbrt -1) (pow (* base -1) 1/3))
144.0ms
(* (cbrt -1) (pow (* base -1) 1/3))

prune1.0s

Pruning

15 alts after pruning (13 fresh and 2 done)

Merged error: 8.0b

regimes668.0ms

Accuracy

59.2% (9.7b remaining)

Error of 16.9b against oracle of 7.2b and baseline of 30.9b

bsearch2.0s

end0.0ms

sample36.0s

Algorithm
intervals
Results
27.3s8004×body10240exit
4.9s15885×body80nan
3.0s8000×body80valid