Details

Time bar (total: 1.3m)

sample66.0ms

Algorithm
intervals
Results
20.0ms200×body80valid
10.0ms20×body1280valid
9.0ms20×body640valid
9.0ms256×pre80true
4.0ms12×body320valid
1.0ms4×body160valid

simplify102.0ms

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

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 25.5b

localize43.0ms

Local error

Found 3 expressions with local error:

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

rewrite169.0ms

Algorithm
rewrite-expression-head
Rules
42×times-frac
23×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
17×add-cbrt-cube add-exp-log
12×associate-/r/
10×flip3-+ flip-+ associate-/l*
9×associate-/l/
7×cbrt-undiv div-exp
6×associate-/r* div-inv
4×frac-times
3×pow1 flip3-- insert-posit16 flip-- add-log-exp
2×clear-num frac-2neg associate-*l/ prod-exp associate-*r/ cbrt-unprod
1×+-commutative
Calls
3 calls:
Slowest
112.0ms
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
44.0ms
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
11.0ms
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))

series477.0ms

Calls
3 calls:
Slowest
239.0ms
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
179.0ms
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
59.0ms
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))

simplify20.6s

Calls
107 calls:
Slowest
681.0ms
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
653.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)))
630.0ms
(/ (sqrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))) (cbrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
574.0ms
(/ (/ 1 (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
565.0ms
(/ (* (* (* (+ alpha beta) (+ alpha beta)) (+ alpha beta)) (* (* (- beta alpha) (- beta alpha)) (- beta alpha))) (* (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (+ alpha beta) (* 2 i))))

prune1.4s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 7.0b

localize30.0ms

Local error

Found 4 expressions with local error:

1.0b
(+ (/ (* (+ 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)))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
0.1b
(* (+ beta alpha) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))))
0.0b
(/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))

rewrite148.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
21×times-frac
20×add-cbrt-cube add-exp-log
15×associate-*r*
8×flip3-+ flip-+
7×associate-/l/
6×pow1 cbrt-undiv associate-/r* div-exp associate-/r/
4×frac-times associate-*l/ prod-exp cbrt-unprod insert-posit16 associate-/l* add-log-exp
3×associate-*l* div-inv
2×clear-num frac-2neg associate-*r/
1×+-commutative flip3-- div-sub pow-prod-down *-commutative flip--
Calls
4 calls:
Slowest
89.0ms
(+ (/ (* (+ beta alpha) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
31.0ms
(/ (* (+ beta alpha) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
15.0ms
(* (+ beta alpha) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))))
12.0ms
(/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))

series397.0ms

Calls
4 calls:
Slowest
184.0ms
(/ (* (+ beta alpha) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
122.0ms
(+ (/ (* (+ beta alpha) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
49.0ms
(* (+ beta alpha) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))))
41.0ms
(/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))

simplify10.5s

Calls
94 calls:
Slowest
899.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)))
635.0ms
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
588.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)))))
497.0ms
(* (+ (* beta beta) (- (* alpha alpha) (* beta alpha))) (+ (+ alpha beta) (* 2 i)))
389.0ms
(* (+ (pow beta 3) (pow alpha 3)) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))))

prune1.6s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 7.0b

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite177.0ms

Algorithm
rewrite-expression-head
Rules
38×frac-times
29×add-exp-log
20×add-cbrt-cube associate-/l/
19×associate-*r/
18×associate-*l/
17×flip3-+ flip-+
14×flip3-- flip--
12×prod-exp
11×pow1
9×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
7×associate-*r* un-div-inv cbrt-unprod
6×associate-*l*
4×div-exp pow-prod-down associate-/r/ insert-posit16 add-log-exp
3×cbrt-undiv rec-exp associate-/r* times-frac
2×*-commutative div-inv
1×+-commutative clear-num frac-2neg associate-/l*
Calls
4 calls:
Slowest
108.0ms
(+ (/ (* (+ beta alpha) (* (- beta alpha) (/ 1 (+ (+ alpha beta) (* 2 i))))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
42.0ms
(/ (* (+ beta alpha) (* (- beta alpha) (/ 1 (+ (+ alpha beta) (* 2 i))))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
13.0ms
(* (+ beta alpha) (* (- beta alpha) (/ 1 (+ (+ alpha beta) (* 2 i)))))
12.0ms
(* (- beta alpha) (/ 1 (+ (+ alpha beta) (* 2 i))))

series453.0ms

Calls
4 calls:
Slowest
167.0ms
(+ (/ (* (+ beta alpha) (* (- beta alpha) (/ 1 (+ (+ alpha beta) (* 2 i))))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
160.0ms
(/ (* (+ beta alpha) (* (- beta alpha) (/ 1 (+ (+ alpha beta) (* 2 i))))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
68.0ms
(* (+ beta alpha) (* (- beta alpha) (/ 1 (+ (+ alpha beta) (* 2 i)))))
58.0ms
(* (- beta alpha) (/ 1 (+ (+ alpha beta) (* 2 i))))

simplify24.0s

Calls
113 calls:
Slowest
1.1s
(/ (* (* (* (+ beta alpha) (* (- beta alpha) (/ 1 (+ (+ alpha beta) (* 2 i))))) (* (+ beta alpha) (* (- beta alpha) (/ 1 (+ (+ alpha beta) (* 2 i)))))) (* (+ beta alpha) (* (- beta alpha) (/ 1 (+ (+ alpha beta) (* 2 i)))))) (* (* (+ (+ (+ alpha beta) (* 2 i)) 2.0) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
757.0ms
(- (+ (log (+ beta alpha)) (+ (log (- beta alpha)) (- (log (+ (+ alpha beta) (* 2 i)))))) (log (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
576.0ms
(* (* (* (- beta alpha) (- beta alpha)) (- beta alpha)) (* (* (/ 1 (+ (+ alpha beta) (* 2 i))) (/ 1 (+ (+ alpha beta) (* 2 i)))) (/ 1 (+ (+ alpha beta) (* 2 i)))))
545.0ms
(* (- (* beta beta) (* alpha alpha)) (* (- (pow beta 3) (pow alpha 3)) (/ 1 (+ (+ alpha beta) (* 2 i)))))
540.0ms
(* (+ (* beta beta) (- (* alpha alpha) (* beta alpha))) (+ (* beta beta) (+ (* alpha alpha) (* beta alpha))))

prune1.8s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 7.0b

localize16.0ms

Local error

Found 4 expressions with local error:

4.3b
(log (+ (/ (* (+ beta alpha) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0))
1.0b
(+ (/ (* (+ beta alpha) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
0.1b
(exp (log (+ (/ (* (+ 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)))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))

rewrite212.0ms

Algorithm
rewrite-expression-head
Rules
14×add-exp-log
13×add-cbrt-cube
9×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×pow1 log-prod flip3-+ flip-+
5×associate-/l/
4×cbrt-undiv log-div exp-prod div-exp insert-posit16 add-log-exp
3×associate-/r* times-frac exp-sum
2×frac-times exp-diff associate-*l/ prod-exp associate-/r/ log-pow cbrt-unprod
1×+-commutative clear-num frac-2neg rem-log-exp associate-*r/ div-inv associate-/l* rem-exp-log
Calls
4 calls:
Slowest
74.0ms
(+ (/ (* (+ beta alpha) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
58.0ms
(exp (log (+ (/ (* (+ beta alpha) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)))
43.0ms
(log (+ (/ (* (+ beta alpha) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0))
36.0ms
(/ (* (+ beta alpha) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))

series769.0ms

Calls
4 calls:
Slowest
263.0ms
(log (+ (/ (* (+ beta alpha) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0))
185.0ms
(/ (* (+ beta alpha) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
162.0ms
(+ (/ (* (+ beta alpha) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
159.0ms
(exp (log (+ (/ (* (+ beta alpha) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)))

simplify9.9s

Calls
51 calls:
Slowest
948.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)))
581.0ms
(exp (log (* (cbrt (+ (/ (* (+ beta alpha) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)) (cbrt (+ (/ (* (+ beta alpha) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)))))
576.0ms
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
365.0ms
(* (+ (pow beta 3) (pow alpha 3)) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))))
343.0ms
(- (+ (log (+ beta alpha)) (- (log (- beta alpha)) (log (+ (+ alpha beta) (* 2 i))))) (log (+ (+ (+ alpha beta) (* 2 i)) 2.0)))

prune1.2s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 7.0b

regimes393.0ms

Accuracy

13.4% (5.6b remaining)

Error of 11.8b against oracle of 6.3b and baseline of 12.7b

bsearch140.0ms

end0.0ms

sample3.3s

Algorithm
intervals
Results
1.5s6305×body80valid
547.0ms551×body1280valid
436.0ms595×body640valid
395.0ms8000×pre80true
151.0ms362×body320valid
71.0ms187×body160valid