Details

Time bar (total: 2.5m)

sample72.0ms

Algorithm
intervals
Results
27.0ms200×body80valid
9.0ms256×pre80true
9.0ms21×body640valid
8.0ms16×body1280valid
4.0ms15×body320valid
1.0ms4×body160valid

simplify105.0ms

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

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.5b

localize40.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))

rewrite737.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
512.0ms
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
190.0ms
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
33.0ms
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))

series810.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
404.0ms
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
280.0ms
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
126.0ms
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))

simplify25.1s

Counts
128 → 123
Calls
128 calls:
Slowest
968.0ms
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
752.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)))
624.0ms
(/ (/ 1 (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
603.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))))
586.0ms
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))

prune1.4s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 5.0b

localize39.0ms

Local error

Found 4 expressions with local error:

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

rewrite634.0ms

Algorithm
rewrite-expression-head
Rules
48×*-un-lft-identity
45×add-sqr-sqrt
35×times-frac
26×add-cube-cbrt
21×associate-*r*
20×add-cbrt-cube add-exp-log
8×flip3-+ flip-+
7×associate-/r* distribute-lft-out-- difference-of-squares associate-/l/
6×pow1 cbrt-undiv div-exp associate-/r/ associate-/l* add-log-exp
4×frac-times associate-*l* associate-*l/ prod-exp cbrt-unprod insert-posit16 distribute-lft-out
3×div-inv
2×clear-num frac-2neg associate-*r/ unswap-sqr
1×+-commutative sum-log flip3-- div-sub pow-prod-down *-commutative flip--
Counts
4 → 133
Calls
4 calls:
Slowest
377.0ms
(+ (/ (* (+ beta alpha) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
140.0ms
(/ (* (+ beta alpha) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
83.0ms
(* (+ beta alpha) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))))
31.0ms
(/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))

series861.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
333.0ms
(/ (* (+ beta alpha) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
272.0ms
(+ (/ (* (+ beta alpha) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
138.0ms
(* (+ beta alpha) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))))
118.0ms
(/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))

simplify13.1s

Counts
122 → 145
Calls
122 calls:
Slowest
968.0ms
(/ (* (* (* (+ beta alpha) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))) (* (+ beta alpha) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))))) (* (+ beta alpha) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))))) (* (* (+ (+ (+ alpha beta) (* 2 i)) 2.0) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
722.0ms
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
669.0ms
(* (* (* (+ beta alpha) (+ beta alpha)) (+ beta alpha)) (/ (* (* (- beta alpha) (- beta alpha)) (- beta alpha)) (* (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (+ alpha beta) (* 2 i)))))
571.0ms
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
500.0ms
(* (+ (* beta beta) (- (* alpha alpha) (* beta alpha))) (+ (+ alpha beta) (* 2 i)))

prune2.1s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 5.0b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite650.0ms

Algorithm
rewrite-expression-head
Rules
321×times-frac
290×*-un-lft-identity
211×add-sqr-sqrt
140×add-cube-cbrt
90×associate-*r*
44×distribute-lft-out
31×distribute-lft-out-- difference-of-squares
26×associate-/l*
24×associate-/r/
20×add-cbrt-cube add-exp-log
15×flip3-+ flip-+
12×div-inv
7×cbrt-undiv associate-/r* div-exp
6×pow1 add-log-exp
4×associate-*l* insert-posit16
3×div-sub prod-exp cbrt-unprod unswap-sqr associate-/l/
2×frac-times clear-num frac-2neg associate-*l/
1×+-commutative sum-log flip3-- pow-prod-down associate-*r/ *-commutative flip--
Counts
4 → 299
Calls
4 calls:
Slowest
354.0ms
(* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
137.0ms
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
102.0ms
(+ (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))) 1.0)
44.0ms
(/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
420.0ms
(+ (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))) 1.0)
300.0ms
(* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
217.0ms
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
120.0ms
(/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))

simplify1.1m

Counts
368 → 311
Calls
368 calls:
Slowest
915.0ms
(* (* (* (+ alpha beta) (+ alpha beta)) (+ alpha beta)) (/ (* (* (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))) (* (* (+ (+ (+ alpha beta) (* 2 i)) 2.0) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) (+ (+ (+ alpha beta) (* 2 i)) 2.0))))
860.0ms
(/ (/ (* (* (- beta alpha) (- beta alpha)) (- beta alpha)) (* (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (+ alpha beta) (* 2 i)))) (* (* (+ (+ (+ alpha beta) (* 2 i)) 2.0) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
736.0ms
(/ (/ beta (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
678.0ms
(/ (/ (sqrt (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
661.0ms
(/ (/ (sqrt (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))

prune3.8s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 5.0b

localize33.0ms

Local error

Found 4 expressions with local error:

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

rewrite886.0ms

Algorithm
rewrite-expression-head
Rules
63×add-sqr-sqrt
60×add-exp-log
56×*-un-lft-identity
49×times-frac
36×add-cbrt-cube
32×add-cube-cbrt
25×associate-*l* prod-exp
19×associate-*r*
17×div-exp
13×cbrt-unprod
12×frac-times
11×pow1
9×cbrt-undiv flip3-+ flip-+
8×associate-*r/
7×distribute-lft-out-- difference-of-squares
6×associate-*l/ associate-/r/ add-log-exp unswap-sqr
5×associate-/l*
4×rec-exp 1-exp pow-prod-down un-div-inv insert-posit16 distribute-lft-out
3×associate-/r* div-inv
2×*-commutative associate-/l/
1×+-commutative clear-num sum-log frac-2neg flip3-- div-sub flip--
Counts
4 → 168
Calls
4 calls:
Slowest
339.0ms
(* (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (/ 1 (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
244.0ms
(+ (* (+ alpha beta) (* (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (/ 1 (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) 1.0)
242.0ms
(* (+ alpha beta) (* (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (/ 1 (+ (+ (+ alpha beta) (* 2 i)) 2.0))))
55.0ms
(/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
403.0ms
(+ (* (+ alpha beta) (* (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (/ 1 (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) 1.0)
319.0ms
(* (+ alpha beta) (* (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (/ 1 (+ (+ (+ alpha beta) (* 2 i)) 2.0))))
228.0ms
(* (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (/ 1 (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
106.0ms
(/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))

simplify24.9s

Counts
165 → 180
Calls
165 calls:
Slowest
761.0ms
(+ (log (+ alpha beta)) (+ (- (log (- beta alpha)) (log (+ (+ alpha beta) (* 2 i)))) (- (log 1) (log (+ (+ (+ alpha beta) (* 2 i)) 2.0)))))
711.0ms
(* (- (* alpha alpha) (* beta beta)) (* (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (/ 1 (+ (+ (+ alpha beta) (* 2 i)) 2.0))))
638.0ms
(* (+ (pow alpha 3) (pow beta 3)) (* (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (/ 1 (+ (+ (+ alpha beta) (* 2 i)) 2.0))))
605.0ms
(* (- (* alpha alpha) (* beta beta)) (* (- beta alpha) (/ 1 (+ (+ (+ alpha beta) (* 2 i)) 2.0))))
519.0ms
(* (* (* (+ alpha beta) (+ alpha beta)) (+ alpha beta)) (* (* (* (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))) (* (* (/ 1 (+ (+ (+ alpha beta) (* 2 i)) 2.0)) (/ 1 (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ 1 (+ (+ (+ alpha beta) (* 2 i)) 2.0)))))

prune2.2s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 5.0b

regimes386.0ms

Accuracy

-9.3% (6.6b remaining)

Error of 12.4b against oracle of 5.8b and baseline of 11.8b

bsearch326.0ms

end0.0ms

sample3.0s

Algorithm
intervals
Results
900.0ms6435×body80valid
732.0ms8000×pre80true
410.0ms467×body1280valid
407.0ms575×body640valid
247.0ms351×body320valid
42.0ms172×body160valid