Details

Time bar (total: 2.9m)

sample88.0ms

Algorithm
intervals
Results
28.0ms200×body80valid
13.0ms21×body640valid
12.0ms256×pre80true
9.0ms16×body1280valid
6.0ms15×body320valid
1.0ms4×body160valid

simplify152.0ms

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

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.5b

localize55.0ms

Local error

Found 3 expressions with local error:

23.2b
(/ (* (+ 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.0b
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))

rewrite926.0ms

Algorithm
rewrite-expression-head
Rules
102×times-frac
83×*-un-lft-identity
43×add-sqr-sqrt add-cube-cbrt
42×fma-def
24×associate-/r/
20×distribute-lft-out
17×add-cbrt-cube add-exp-log
16×flip3-+ flip-+
12×div-inv
10×associate-/l*
9×associate-/l/
7×cbrt-undiv associate-/r* div-exp
5×add-log-exp
4×frac-times
3×expm1-log1p-u pow1 flip3-- insert-posit16 log1p-expm1-u flip--
2×clear-num frac-2neg associate-*l/ prod-exp associate-*r/ cbrt-unprod
1×+-commutative sum-log
Counts
3 → 162
Calls
3 calls:
Slowest
662.0ms
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
209.0ms
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
49.0ms
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))

series831.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
372.0ms
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
345.0ms
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
114.0ms
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))

simplify33.2s

Counts
169 → 171
Calls
169 calls:
Slowest
789.0ms
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
707.0ms
(/ (/ 1 (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
690.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))))
660.0ms
(/ (/ 1 (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
648.0ms
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))

prune2.1s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 5.0b

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite148.0ms

Algorithm
rewrite-expression-head
Rules
47×*-un-lft-identity
45×add-sqr-sqrt
35×times-frac
26×add-cube-cbrt
20×add-cbrt-cube add-exp-log
19×associate-*r*
7×associate-/r* distribute-lft-out-- difference-of-squares associate-/l/
6×pow1 cbrt-undiv flip3-+ div-exp flip-+ associate-/l* add-log-exp
4×expm1-log1p-u frac-times associate-*l* associate-*l/ prod-exp cbrt-unprod insert-posit16 log1p-expm1-u distribute-lft-out
3×div-inv
2×clear-num frac-2neg associate-*r/ associate-/r/ unswap-sqr
1×+-commutative sum-log fma-def flip3-- div-sub pow-prod-down *-commutative flip--
Counts
4 → 138
Calls
4 calls:
Slowest
60.0ms
(+ (* 1 (/ (* (+ beta alpha) (/ (- beta alpha) (fma 2 i (+ beta alpha)))) (+ 2.0 (fma 2 i (+ beta alpha))))) 1.0)
39.0ms
(/ (* (+ beta alpha) (/ (- beta alpha) (fma 2 i (+ beta alpha)))) (+ 2.0 (fma 2 i (+ beta alpha))))
33.0ms
(* (+ beta alpha) (/ (- beta alpha) (fma 2 i (+ beta alpha))))
13.0ms
(/ (- beta alpha) (fma 2 i (+ beta alpha)))

series797.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
342.0ms
(/ (* (+ beta alpha) (/ (- beta alpha) (fma 2 i (+ beta alpha)))) (+ 2.0 (fma 2 i (+ beta alpha))))
245.0ms
(+ (* 1 (/ (* (+ beta alpha) (/ (- beta alpha) (fma 2 i (+ beta alpha)))) (+ 2.0 (fma 2 i (+ beta alpha))))) 1.0)
106.0ms
(* (+ beta alpha) (/ (- beta alpha) (fma 2 i (+ beta alpha))))
104.0ms
(/ (- beta alpha) (fma 2 i (+ beta alpha)))

simplify13.2s

Counts
118 → 150
Calls
118 calls:
Slowest
854.0ms
(/ (* (* (* (+ beta alpha) (+ beta alpha)) (+ beta alpha)) (/ (* (* (- beta alpha) (- beta alpha)) (- beta alpha)) (* (* (fma 2 i (+ beta alpha)) (fma 2 i (+ beta alpha))) (fma 2 i (+ beta alpha))))) (* (* (+ 2.0 (fma 2 i (+ beta alpha))) (+ 2.0 (fma 2 i (+ beta alpha)))) (+ 2.0 (fma 2 i (+ beta alpha)))))
682.0ms
(/ (* (* (* (+ beta alpha) (+ beta alpha)) (+ beta alpha)) (* (* (/ (- beta alpha) (fma 2 i (+ beta alpha))) (/ (- beta alpha) (fma 2 i (+ beta alpha)))) (/ (- beta alpha) (fma 2 i (+ beta alpha))))) (* (* (+ 2.0 (fma 2 i (+ beta alpha))) (+ 2.0 (fma 2 i (+ beta alpha)))) (+ 2.0 (fma 2 i (+ beta alpha)))))
670.0ms
(/ (* (* (* (+ beta alpha) (/ (- beta alpha) (fma 2 i (+ beta alpha)))) (* (+ beta alpha) (/ (- beta alpha) (fma 2 i (+ beta alpha))))) (* (+ beta alpha) (/ (- beta alpha) (fma 2 i (+ beta alpha))))) (* (* (+ 2.0 (fma 2 i (+ beta alpha))) (+ 2.0 (fma 2 i (+ beta alpha)))) (+ 2.0 (fma 2 i (+ beta alpha)))))
547.0ms
(/ (* (* (- beta alpha) (- beta alpha)) (- beta alpha)) (* (* (fma 2 i (+ beta alpha)) (fma 2 i (+ beta alpha))) (fma 2 i (+ beta alpha))))
487.0ms
(+ (* 2.0 2.0) (- (* (fma 2 i (+ beta alpha)) (fma 2 i (+ beta alpha))) (* 2.0 (fma 2 i (+ beta alpha)))))

prune1.9s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 5.0b

localize68.0ms

Local error

Found 4 expressions with local error:

8.9b
(+ (* 1 (* (/ (+ beta alpha) (sqrt (+ 2.0 (fma 2 i (+ beta alpha))))) (/ (/ (- beta alpha) (fma 2 i (+ beta alpha))) (sqrt (+ 2.0 (fma 2 i (+ beta alpha))))))) 1.0)
0.4b
(/ (+ beta alpha) (sqrt (+ 2.0 (fma 2 i (+ beta alpha)))))
0.4b
(/ (/ (- beta alpha) (fma 2 i (+ beta alpha))) (sqrt (+ 2.0 (fma 2 i (+ beta alpha)))))
0.3b
(* (/ (+ beta alpha) (sqrt (+ 2.0 (fma 2 i (+ beta alpha))))) (/ (/ (- beta alpha) (fma 2 i (+ beta alpha))) (sqrt (+ 2.0 (fma 2 i (+ beta alpha))))))

rewrite231.0ms

Algorithm
rewrite-expression-head
Rules
575×times-frac
469×*-un-lft-identity
400×add-sqr-sqrt
252×add-cube-cbrt
203×sqrt-prod
139×associate-*r*
64×distribute-lft-out
45×distribute-lft-out-- difference-of-squares
34×associate-*l*
32×add-cbrt-cube add-exp-log
23×associate-/l*
19×div-inv
15×unswap-sqr
14×associate-/r*
13×cbrt-undiv div-exp
8×sqrt-div associate-/r/
6×pow1 flip3-+ prod-exp cbrt-unprod flip-+ add-log-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×associate-/l/
2×clear-num frac-2neg div-sub
1×frac-times +-commutative sum-log fma-def pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 469
Calls
4 calls:
Slowest
97.0ms
(+ (* 1 (* (/ (+ beta alpha) (sqrt (+ 2.0 (fma 2 i (+ beta alpha))))) (/ (/ (- beta alpha) (fma 2 i (+ beta alpha))) (sqrt (+ 2.0 (fma 2 i (+ beta alpha))))))) 1.0)
74.0ms
(* (/ (+ beta alpha) (sqrt (+ 2.0 (fma 2 i (+ beta alpha))))) (/ (/ (- beta alpha) (fma 2 i (+ beta alpha))) (sqrt (+ 2.0 (fma 2 i (+ beta alpha))))))
29.0ms
(/ (/ (- beta alpha) (fma 2 i (+ beta alpha))) (sqrt (+ 2.0 (fma 2 i (+ beta alpha)))))
19.0ms
(/ (+ beta alpha) (sqrt (+ 2.0 (fma 2 i (+ beta alpha)))))

series986.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
330.0ms
(* (/ (+ beta alpha) (sqrt (+ 2.0 (fma 2 i (+ beta alpha))))) (/ (/ (- beta alpha) (fma 2 i (+ beta alpha))) (sqrt (+ 2.0 (fma 2 i (+ beta alpha))))))
280.0ms
(/ (/ (- beta alpha) (fma 2 i (+ beta alpha))) (sqrt (+ 2.0 (fma 2 i (+ beta alpha)))))
210.0ms
(+ (* 1 (* (/ (+ beta alpha) (sqrt (+ 2.0 (fma 2 i (+ beta alpha))))) (/ (/ (- beta alpha) (fma 2 i (+ beta alpha))) (sqrt (+ 2.0 (fma 2 i (+ beta alpha))))))) 1.0)
166.0ms
(/ (+ beta alpha) (sqrt (+ 2.0 (fma 2 i (+ beta alpha)))))

simplify1.4m

Counts
603 → 481
Calls
603 calls:
Slowest
1.2s
(* (/ (* (* (+ beta alpha) (+ beta alpha)) (+ beta alpha)) (* (* (sqrt (+ 2.0 (fma 2 i (+ beta alpha)))) (sqrt (+ 2.0 (fma 2 i (+ beta alpha))))) (sqrt (+ 2.0 (fma 2 i (+ beta alpha)))))) (/ (/ (* (* (- beta alpha) (- beta alpha)) (- beta alpha)) (* (* (fma 2 i (+ beta alpha)) (fma 2 i (+ beta alpha))) (fma 2 i (+ beta alpha)))) (* (* (sqrt (+ 2.0 (fma 2 i (+ beta alpha)))) (sqrt (+ 2.0 (fma 2 i (+ beta alpha))))) (sqrt (+ 2.0 (fma 2 i (+ beta alpha)))))))
731.0ms
(* (/ (* (* (+ beta alpha) (+ beta alpha)) (+ beta alpha)) (* (* (sqrt (+ 2.0 (fma 2 i (+ beta alpha)))) (sqrt (+ 2.0 (fma 2 i (+ beta alpha))))) (sqrt (+ 2.0 (fma 2 i (+ beta alpha)))))) (/ (* (* (/ (- beta alpha) (fma 2 i (+ beta alpha))) (/ (- beta alpha) (fma 2 i (+ beta alpha)))) (/ (- beta alpha) (fma 2 i (+ beta alpha)))) (* (* (sqrt (+ 2.0 (fma 2 i (+ beta alpha)))) (sqrt (+ 2.0 (fma 2 i (+ beta alpha))))) (sqrt (+ 2.0 (fma 2 i (+ beta alpha)))))))
697.0ms
(* (* (* (/ (+ beta alpha) (sqrt (+ 2.0 (fma 2 i (+ beta alpha))))) (/ (+ beta alpha) (sqrt (+ 2.0 (fma 2 i (+ beta alpha)))))) (/ (+ beta alpha) (sqrt (+ 2.0 (fma 2 i (+ beta alpha)))))) (/ (/ (* (* (- beta alpha) (- beta alpha)) (- beta alpha)) (* (* (fma 2 i (+ beta alpha)) (fma 2 i (+ beta alpha))) (fma 2 i (+ beta alpha)))) (* (* (sqrt (+ 2.0 (fma 2 i (+ beta alpha)))) (sqrt (+ 2.0 (fma 2 i (+ beta alpha))))) (sqrt (+ 2.0 (fma 2 i (+ beta alpha)))))))
677.0ms
(- (+ (* (sqrt 0.5) beta) (* (sqrt 0.5) alpha)) (* 1/2 (* (pow beta 2) (sqrt 0.125))))
556.0ms
(sqrt (- 2.0 (fma 2 i (+ beta alpha))))

prune7.6s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 5.0b

localize59.0ms

Local error

Found 4 expressions with local error:

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

rewrite145.0ms

Algorithm
rewrite-expression-head
Rules
92×*-un-lft-identity
68×add-sqr-sqrt
66×times-frac
42×add-cube-cbrt
22×associate-*r*
20×add-cbrt-cube add-exp-log
19×associate-*l*
18×distribute-lft-out
9×associate-/l*
7×associate-/r* distribute-lft-out-- difference-of-squares
6×pow1 cbrt-undiv div-exp add-log-exp
4×expm1-log1p-u flip3-+ prod-exp associate-/r/ cbrt-unprod flip-+ insert-posit16 log1p-expm1-u div-inv unswap-sqr associate-/l/
2×clear-num frac-2neg
1×frac-times +-commutative sum-log fma-def flip3-- div-sub pow-prod-down associate-*l/ associate-*r/ *-commutative flip--
Counts
4 → 167
Calls
4 calls:
Slowest
64.0ms
(* (/ (- beta alpha) (fma i 2 (+ alpha beta))) (/ (+ alpha beta) (+ 2.0 (fma i 2 (+ alpha beta)))))
36.0ms
(/ (+ alpha beta) (+ 2.0 (fma i 2 (+ alpha beta))))
24.0ms
(/ (- beta alpha) (fma i 2 (+ alpha beta)))
16.0ms
(+ (* (/ (- beta alpha) (fma i 2 (+ alpha beta))) (/ (+ alpha beta) (+ 2.0 (fma i 2 (+ alpha beta))))) 1.0)

series816.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
359.0ms
(* (/ (- beta alpha) (fma i 2 (+ alpha beta))) (/ (+ alpha beta) (+ 2.0 (fma i 2 (+ alpha beta)))))
230.0ms
(+ (* (/ (- beta alpha) (fma i 2 (+ alpha beta))) (/ (+ alpha beta) (+ 2.0 (fma i 2 (+ alpha beta))))) 1.0)
127.0ms
(/ (- beta alpha) (fma i 2 (+ alpha beta)))
99.0ms
(/ (+ alpha beta) (+ 2.0 (fma i 2 (+ alpha beta))))

simplify15.4s

Counts
160 → 179
Calls
160 calls:
Slowest
839.0ms
(* (/ (* (* (- beta alpha) (- beta alpha)) (- beta alpha)) (* (* (fma i 2 (+ alpha beta)) (fma i 2 (+ alpha beta))) (fma i 2 (+ alpha beta)))) (/ (* (* (+ alpha beta) (+ alpha beta)) (+ alpha beta)) (* (* (+ 2.0 (fma i 2 (+ alpha beta))) (+ 2.0 (fma i 2 (+ alpha beta)))) (+ 2.0 (fma i 2 (+ alpha beta))))))
616.0ms
(* (* (* (/ (- beta alpha) (fma i 2 (+ alpha beta))) (/ (- beta alpha) (fma i 2 (+ alpha beta)))) (/ (- beta alpha) (fma i 2 (+ alpha beta)))) (/ (* (* (+ alpha beta) (+ alpha beta)) (+ alpha beta)) (* (* (+ 2.0 (fma i 2 (+ alpha beta))) (+ 2.0 (fma i 2 (+ alpha beta)))) (+ 2.0 (fma i 2 (+ alpha beta))))))
500.0ms
(/ (* (* (- beta alpha) (- beta alpha)) (- beta alpha)) (* (* (fma i 2 (+ alpha beta)) (fma i 2 (+ alpha beta))) (fma i 2 (+ alpha beta))))
472.0ms
(+ (* 2.0 2.0) (- (* (fma i 2 (+ alpha beta)) (fma i 2 (+ alpha beta))) (* 2.0 (fma i 2 (+ alpha beta)))))
433.0ms
(+ (* 2.0 2.0) (- (* (fma i 2 (+ alpha beta)) (fma i 2 (+ alpha beta))) (* 2.0 (fma i 2 (+ alpha beta)))))

prune2.4s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 5.0b

regimes562.0ms

Accuracy

-7.8% (6.6b remaining)

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

bsearch300.0ms

end0.0ms

sample3.2s

Algorithm
intervals
Results
1.1s6435×body80valid
655.0ms351×body320valid
396.0ms8000×pre80true
372.0ms575×body640valid
353.0ms467×body1280valid
48.0ms172×body160valid