Details

Time bar (total: 4.7m)

sample123.0ms

Algorithm
intervals
Results
39.0ms196×body80valid
23.0ms30×body640valid
18.0ms18×body1280valid
15.0ms256×pre80true
4.0ms7×body320valid
2.0ms5×body160valid

simplify154.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
153.0ms
(/ (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0) 2.0)

prune17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.1b

localize56.0ms

Local error

Found 4 expressions with local error:

23.3b
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))
1.3b
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
0.1b
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
0.0b
(+ (+ alpha beta) (* 2 i))

rewrite770.0ms

Algorithm
rewrite-expression-head
Rules
54×times-frac
48×*-un-lft-identity
26×add-sqr-sqrt add-cube-cbrt
18×add-cbrt-cube add-exp-log
14×associate-/r/
12×flip3-+ flip-+
11×distribute-lft-out add-log-exp
10×associate-/l*
9×associate-/l/
7×cbrt-undiv associate-/r* div-exp div-inv
4×frac-times pow1 sum-log insert-posit16
3×flip3-- flip--
2×+-commutative clear-num frac-2neg associate-*l/ prod-exp associate-*r/ cbrt-unprod
1×associate-+l+
Counts
4 → 128
Calls
4 calls:
Slowest
476.0ms
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
205.0ms
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
56.0ms
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))
31.0ms
(+ (+ alpha beta) (* 2 i))

series811.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
341.0ms
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
335.0ms
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
110.0ms
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))
24.0ms
(+ (+ alpha beta) (* 2 i))

simplify27.0s

Counts
133 → 140
Calls
133 calls:
Slowest
770.0ms
(/ (* (* (* (+ alpha beta) (- beta alpha)) (* (+ alpha beta) (- beta alpha))) (* (+ alpha beta) (- beta alpha))) (* (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (+ alpha beta) (* 2 i))))
710.0ms
(/ (/ 1 (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
690.0ms
(/ (* (* (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))) (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))) (* (* (+ (+ (+ alpha beta) (* 2 i)) 2.0) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
621.0ms
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
574.0ms
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))

prune1.7s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 6.5b

localize66.0ms

Local error

Found 4 expressions with local error:

1.3b
(+ (/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
0.1b
(/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)))
0.1b
(/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
0.0b
(/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))

rewrite848.0ms

Algorithm
rewrite-expression-head
Rules
1250×times-frac
1055×*-un-lft-identity
619×add-sqr-sqrt
461×add-cube-cbrt
218×distribute-lft-out
96×associate-/l*
79×distribute-lft-out-- difference-of-squares
60×associate-/r/
33×div-inv
30×associate-/r*
26×flip3-- flip--
20×add-cbrt-cube add-exp-log
10×cbrt-undiv div-exp
6×add-log-exp
5×associate-/l/
4×pow1 flip3-+ flip-+ insert-posit16
3×clear-num frac-2neg
1×+-commutative sum-log
Counts
4 → 649
Calls
4 calls:
Slowest
555.0ms
(+ (/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
160.0ms
(/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
68.0ms
(/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))
44.0ms
(/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)))

series980.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
382.0ms
(+ (/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
332.0ms
(/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
143.0ms
(/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))
123.0ms
(/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)))

simplify3.3m

Counts
1068 → 661
Calls
1068 calls:
Slowest
816.0ms
(/ (* (* (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)))) (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)))) (* (* (+ (+ (+ alpha beta) (* 2 i)) 2.0) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
777.0ms
(/ (/ (cbrt (+ alpha beta)) (+ (* beta beta) (+ (* alpha alpha) (* beta alpha)))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
756.0ms
(/ (/ (+ alpha beta) (+ (* beta beta) (+ (* alpha alpha) (* beta alpha)))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
748.0ms
(- (- (log (+ alpha beta)) (- (log (+ (+ alpha beta) (* 2 i))) (log (- beta alpha)))) (log (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
745.0ms
(/ (/ (cbrt (+ alpha beta)) (+ (* beta beta) (+ (* alpha alpha) (* beta alpha)))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))

prune8.8s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 6.5b

localize69.0ms

Local error

Found 4 expressions with local error:

1.3b
(+ (/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
1.3b
(+ (/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
1.3b
(+ (/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
0.1b
(/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)))

rewrite2.1s

Algorithm
rewrite-expression-head
Rules
159×times-frac
151×*-un-lft-identity
101×add-sqr-sqrt
71×add-cube-cbrt
25×distribute-lft-out
21×associate-/r*
15×distribute-lft-out-- difference-of-squares
11×associate-/r/
10×add-log-exp
9×add-cbrt-cube add-exp-log
6×div-inv
5×flip3-- flip--
4×pow1 flip3-+ flip-+ insert-posit16 associate-/l*
3×cbrt-undiv +-commutative sum-log div-exp
2×associate-/l/
1×clear-num frac-2neg
Counts
4 → 166
Calls
4 calls:
Slowest
947.0ms
(+ (/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
563.0ms
(+ (/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
561.0ms
(+ (/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
52.0ms
(/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)))

series1.3s

Counts
4 → 12
Calls
4 calls:
Slowest
388.0ms
(+ (/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
380.0ms
(+ (/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
376.0ms
(+ (/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
111.0ms
(/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)))

simplify22.2s

Counts
216 → 178
Calls
216 calls:
Slowest
497.0ms
(/ (* (* (+ alpha beta) (+ alpha beta)) (+ alpha beta)) (/ (* (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (+ alpha beta) (* 2 i))) (* (* (- beta alpha) (- beta alpha)) (- beta alpha))))
348.0ms
(/ (* (cbrt (+ alpha beta)) (cbrt (+ alpha beta))) (/ (* (cbrt (+ (+ alpha beta) (* 2 i))) (cbrt (+ (+ alpha beta) (* 2 i)))) (* (cbrt (- beta alpha)) (cbrt (- beta alpha)))))
329.0ms
(- (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))) (* 4.0 (/ 1 (pow alpha 2))))
328.0ms
(- (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))) (* 4.0 (/ 1 (pow alpha 2))))
325.0ms
(- (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))) (* 4.0 (/ 1 (pow alpha 2))))

prune2.8s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 6.5b

localize59.0ms

Local error

Found 4 expressions with local error:

1.3b
(log (exp (+ (/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)))
1.3b
(+ (/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
1.3b
(+ (/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
1.3b
(+ (/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)

rewrite3.2s

Algorithm
rewrite-expression-head
Rules
14×*-un-lft-identity
10×add-log-exp
6×add-sqr-sqrt add-cube-cbrt
5×pow1 log-pow
4×log-prod exp-prod add-cbrt-cube add-exp-log insert-posit16 distribute-lft-out
3×+-commutative sum-log flip3-+ flip-+
1×rem-log-exp exp-sum
Counts
4 → 57
Calls
4 calls:
Slowest
1.6s
(log (exp (+ (/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)))
580.0ms
(+ (/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
538.0ms
(+ (/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
532.0ms
(+ (/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)

series1.5s

Counts
4 → 12
Calls
4 calls:
Slowest
395.0ms
(log (exp (+ (/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)))
380.0ms
(+ (/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
373.0ms
(+ (/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
368.0ms
(+ (/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)

simplify7.5s

Counts
27 → 69
Calls
27 calls:
Slowest
681.0ms
(+ (/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
394.0ms
(- (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))) (* 4.0 (/ 1 (pow alpha 2))))
384.0ms
(- (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))) (* 4.0 (/ 1 (pow alpha 2))))
378.0ms
(- (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))) (* 4.0 (/ 1 (pow alpha 2))))
351.0ms
(- (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))) (* 4.0 (/ 1 (pow alpha 2))))

prune1.1s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 6.5b

regimes370.0ms

Accuracy

13.6% (5.7b remaining)

Error of 11.4b against oracle of 5.7b and baseline of 12.3b

bsearch512.0ms

end0.0ms

sample3.5s

Algorithm
intervals
Results
1.3s6358×body80valid
813.0ms8000×pre80true
526.0ms521×body1280valid
424.0ms568×body640valid
182.0ms367×body320valid
60.0ms186×body160valid