Details

Time bar (total: 1.1m)

sample95.0ms

Algorithm
intervals
Results
34.0ms212×body80valid
15.0ms9×body1280valid
12.0ms256×pre80true
11.0ms19×body640valid
6.0ms12×body320valid
1.0ms4×body160valid

simplify650.0ms

Counts
1 → 1

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 23.2b

localize40.0ms

Local error

Found 3 expressions with local error:

20.2b
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))
0.7b
(+ (/ (/ (* (+ 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))

rewrite714.0ms

Algorithm
rewrite-expression-head
Rules
54×times-frac
47×*-un-lft-identity
25×add-sqr-sqrt add-cube-cbrt
17×add-cbrt-cube add-exp-log
14×associate-/r/
11×flip3-+ flip-+ distribute-lft-out
10×associate-/l*
9×associate-/l/
7×cbrt-undiv associate-/r* div-exp div-inv
5×add-log-exp
4×frac-times
3×pow1 flip3-- insert-posit16 flip--
2×clear-num frac-2neg associate-*l/ prod-exp associate-*r/ cbrt-unprod
1×+-commutative sum-log
Counts
3 → 114
Calls
3 calls:
Slowest
534.0ms
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
142.0ms
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
34.0ms
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))

series773.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
368.0ms
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
290.0ms
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
115.0ms
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))

simplify1.2s

Counts
123 → 123

prune1.5s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 5.2b

localize35.0ms

Local error

Found 4 expressions with local error:

0.7b
(+ (/ (/ (+ 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))

rewrite718.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
441.0ms
(+ (/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
151.0ms
(/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
58.0ms
(/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))
45.0ms
(/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)))

series901.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
314.0ms
(/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
310.0ms
(+ (/ (/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
182.0ms
(/ (+ (+ alpha beta) (* 2 i)) (- beta alpha))
95.0ms
(/ (+ alpha beta) (/ (+ (+ alpha beta) (* 2 i)) (- beta alpha)))

simplify1.4s

Counts
661 → 661

prune8.6s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 5.2b

localize93.0ms

Local error

Found 4 expressions with local error:

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

rewrite925.0ms

Algorithm
rewrite-expression-head
Rules
324×times-frac
288×*-un-lft-identity
212×add-sqr-sqrt
138×add-cube-cbrt
44×distribute-lft-out
42×associate-/r*
34×difference-of-squares
31×distribute-lft-out--
22×associate-/r/
14×add-cbrt-cube add-exp-log
12×div-inv
11×flip3-- flip--
8×associate-/l* add-log-exp
6×cbrt-undiv div-exp
4×pow1 insert-posit16 associate-/l/
3×flip3-+ flip-+
2×clear-num frac-2neg pow3
1×+-commutative sum-log sub-neg diff-log sum-cubes
Counts
4 → 285
Calls
4 calls:
Slowest
615.0ms
(+ (* (* 1.0 1.0) 1.0) (* (* (/ (/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha))) (+ 2.0 (+ (* 2 i) (+ beta alpha)))) (/ (/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha))) (+ 2.0 (+ (* 2 i) (+ beta alpha))))) (/ (/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha))) (+ 2.0 (+ (* 2 i) (+ beta alpha))))))
221.0ms
(- 1.0 (/ (/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha))) (+ 2.0 (+ (* 2 i) (+ beta alpha)))))
44.0ms
(/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha)))
35.0ms
(/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha)))

series7.8s

Counts
4 → 12
Calls
4 calls:
Slowest
7.1s
(+ (* (* 1.0 1.0) 1.0) (* (* (/ (/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha))) (+ 2.0 (+ (* 2 i) (+ beta alpha)))) (/ (/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha))) (+ 2.0 (+ (* 2 i) (+ beta alpha))))) (/ (/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha))) (+ 2.0 (+ (* 2 i) (+ beta alpha))))))
429.0ms
(- 1.0 (/ (/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha))) (+ 2.0 (+ (* 2 i) (+ beta alpha)))))
125.0ms
(/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha)))
102.0ms
(/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha)))

simplify2.0s

Counts
297 → 297

prune5.3s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 5.1b

localize92.0ms

Local error

Found 4 expressions with local error:

1.5b
(- 1.0 (/ (/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha))) (+ 2.0 (+ (* 2 i) (+ beta alpha)))))
0.7b
(+ (* (* 1.0 1.0) 1.0) (* (* (/ (/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha))) (+ 2.0 (+ (* 2 i) (+ beta alpha)))) (/ (/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha))) (+ 2.0 (+ (* 2 i) (+ beta alpha))))) (/ (/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha))) (+ 2.0 (+ (* 2 i) (+ beta alpha))))))
0.5b
(log (+ (* (* 1.0 1.0) 1.0) (* (* (/ (/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha))) (+ 2.0 (+ (* 2 i) (+ beta alpha)))) (/ (/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha))) (+ 2.0 (+ (* 2 i) (+ beta alpha))))) (/ (/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha))) (+ 2.0 (+ (* 2 i) (+ beta alpha)))))))
0.1b
(/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha)))

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
165×times-frac
148×*-un-lft-identity
116×add-sqr-sqrt
72×add-cube-cbrt
22×distribute-lft-out
21×associate-/r*
19×difference-of-squares
16×distribute-lft-out--
11×associate-/r/
10×add-exp-log
9×add-cbrt-cube
8×add-log-exp
6×flip3-- div-inv flip--
5×pow1
4×log-prod pow3 insert-posit16 associate-/l*
3×cbrt-undiv flip3-+ div-exp flip-+
2×log-div sum-cubes associate-/l/
1×+-commutative clear-num sum-log sub-neg frac-2neg diff-log rem-log-exp log-pow
Counts
4 → 174
Calls
4 calls:
Slowest
551.0ms
(log (+ (* (* 1.0 1.0) 1.0) (* (* (/ (/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha))) (+ 2.0 (+ (* 2 i) (+ beta alpha)))) (/ (/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha))) (+ 2.0 (+ (* 2 i) (+ beta alpha))))) (/ (/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha))) (+ 2.0 (+ (* 2 i) (+ beta alpha)))))))
524.0ms
(+ (* (* 1.0 1.0) 1.0) (* (* (/ (/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha))) (+ 2.0 (+ (* 2 i) (+ beta alpha)))) (/ (/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha))) (+ 2.0 (+ (* 2 i) (+ beta alpha))))) (/ (/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha))) (+ 2.0 (+ (* 2 i) (+ beta alpha))))))
169.0ms
(- 1.0 (/ (/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha))) (+ 2.0 (+ (* 2 i) (+ beta alpha)))))
69.0ms
(/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha)))

series23.0s

Counts
4 → 12
Calls
4 calls:
Slowest
15.6s
(log (+ (* (* 1.0 1.0) 1.0) (* (* (/ (/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha))) (+ 2.0 (+ (* 2 i) (+ beta alpha)))) (/ (/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha))) (+ 2.0 (+ (* 2 i) (+ beta alpha))))) (/ (/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha))) (+ 2.0 (+ (* 2 i) (+ beta alpha)))))))
6.9s
(+ (* (* 1.0 1.0) 1.0) (* (* (/ (/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha))) (+ 2.0 (+ (* 2 i) (+ beta alpha)))) (/ (/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha))) (+ 2.0 (+ (* 2 i) (+ beta alpha))))) (/ (/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha))) (+ 2.0 (+ (* 2 i) (+ beta alpha))))))
369.0ms
(- 1.0 (/ (/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha))) (+ 2.0 (+ (* 2 i) (+ beta alpha)))))
100.0ms
(/ (+ beta alpha) (/ (+ (* 2 i) (+ beta alpha)) (- beta alpha)))

simplify1.8s

Counts
186 → 186

prune4.1s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 5.1b

regimes549.0ms

Accuracy

74.2% (1.6b remaining)

Error of 7.3b against oracle of 5.7b and baseline of 12.0b

bsearch20.0ms

end0.0ms

sample3.3s

Algorithm
intervals
Results
1.1s6407×body80valid
786.0ms585×body640valid
519.0ms484×body1280valid
431.0ms8000×pre80true
154.0ms361×body320valid
69.0ms163×body160valid