Details

Time bar (total: 1.8m)

sample71.0ms

Algorithm
intervals
Results
22.0ms210×body80valid
9.0ms256×pre80true
9.0ms19×body640valid
7.0ms12×body1280valid
3.0ms10×body320valid
1.0ms5×body160valid

simplify1.2s

Counts
1 → 1
Iterations
IterNodes
done2042
42042
3440
295
132
016

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 25.0b

localize36.0ms

Local error

Found 4 expressions with local error:

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

rewrite651.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:
31.0ms
(+ (+ alpha beta) (* 2 i))
185.0ms
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
391.0ms
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
43.0ms
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))

series805.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(+ (+ alpha beta) (* 2 i))
298.0ms
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
352.0ms
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
122.0ms
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))

simplify1.1s

Counts
140 → 140
Iterations
IterNodes
done2001
22001
1716
0239

prune1.8s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 5.3b

localize104.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.2s

Algorithm
rewrite-expression-head
Rules
124×*-un-lft-identity
86×add-sqr-sqrt
82×times-frac
70×associate-*r*
42×add-cube-cbrt
36×associate-*l* distribute-lft-out
28×add-cbrt-cube add-exp-log
16×associate-/r/
13×flip3-+ flip-+
10×distribute-lft-out-- difference-of-squares
8×pow1 cbrt-undiv div-exp frac-add prod-exp cbrt-unprod add-log-exp unswap-sqr
4×insert-posit16 div-inv
2×frac-times pow3 pow-prod-down associate-*l/ associate-*r/ *-commutative
1×+-commutative sum-log sub-neg flip3-- diff-log sum-cubes flip--
Counts
4 → 182
Calls
4 calls:
247.0ms
(* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))
219.0ms
(* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))
4.0ms
(- 1.0 (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))))
1.7s
(+ (* (* 1.0 1.0) 1.0) (* (* (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))))

series8.2s

Counts
4 → 12
Calls
4 calls:
327.0ms
(* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))
350.0ms
(* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))
250.0ms
(- 1.0 (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))))
7.3s
(+ (* (* 1.0 1.0) 1.0) (* (* (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))))

simplify1.4s

Counts
194 → 194
Iterations
IterNodes
done2000
22000
1877
0257

prune3.8s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 5.3b

localize93.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))
1.1b
(- 1.0 (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))))
1.2b
(log (+ (* (* 1.0 1.0) 1.0) (* (* (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))))))
1.4b
(+ (* (* 1.0 1.0) 1.0) (* (* (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))))

rewrite3.7s

Algorithm
rewrite-expression-head
Rules
65×*-un-lft-identity
46×add-sqr-sqrt
41×times-frac
35×associate-*r*
24×add-cube-cbrt
18×associate-*l* distribute-lft-out
17×add-exp-log
16×add-cbrt-cube
8×flip3-+ associate-/r/ flip-+ add-log-exp
7×pow1
5×distribute-lft-out-- difference-of-squares
4×cbrt-undiv log-prod div-exp pow3 frac-add prod-exp cbrt-unprod insert-posit16 unswap-sqr
2×log-div sum-cubes div-inv
1×frac-times +-commutative sum-log sub-neg flip3-- diff-log rem-log-exp pow-prod-down associate-*l/ associate-*r/ log-pow *-commutative flip--
Counts
4 → 120
Calls
4 calls:
238.0ms
(* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))
4.0ms
(- 1.0 (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))))
1.7s
(log (+ (* (* 1.0 1.0) 1.0) (* (* (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))))))
1.8s
(+ (* (* 1.0 1.0) 1.0) (* (* (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))))

series23.9s

Counts
4 → 12
Calls
4 calls:
341.0ms
(* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))
241.0ms
(- 1.0 (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))))
15.9s
(log (+ (* (* 1.0 1.0) 1.0) (* (* (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))))))
7.4s
(+ (* (* 1.0 1.0) 1.0) (* (* (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))))

simplify1.4s

Counts
132 → 132
Iterations
IterNodes
done2002
22002
1959
0296

prune2.8s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 3.6b

localize126.0ms

Local error

Found 4 expressions with local error:

1.1b
(- 1.0 (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))))
1.2b
(log (log (exp (+ (* (* 1.0 1.0) 1.0) (* (* (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))))))))
1.4b
(+ (* (* 1.0 1.0) 1.0) (* (* (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))))
1.4b
(log (exp (+ (* (* 1.0 1.0) 1.0) (* (* (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))))))

rewrite13.8s

Algorithm
rewrite-expression-head
Rules
12×log-prod
11×log-pow
8×add-sqr-sqrt exp-prod *-un-lft-identity add-cube-cbrt add-log-exp
7×pow1
6×pow3
5×add-exp-log
4×add-cbrt-cube insert-posit16
3×sum-cubes
2×rem-log-exp
1×+-commutative sum-log sub-neg flip3-+ flip3-- diff-log exp-sum flip-+ flip--
Counts
4 → 62
Calls
4 calls:
8.0ms
(- 1.0 (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))))
5.2s
(log (log (exp (+ (* (* 1.0 1.0) 1.0) (* (* (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))))))))
1.8s
(+ (* (* 1.0 1.0) 1.0) (* (* (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))))
6.8s
(log (exp (+ (* (* 1.0 1.0) 1.0) (* (* (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))))))

series30.5s

Counts
4 → 12
Calls
4 calls:
240.0ms
(- 1.0 (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))))
15.8s
(log (log (exp (+ (* (* 1.0 1.0) 1.0) (* (* (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))))))))
7.1s
(+ (* (* 1.0 1.0) 1.0) (* (* (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))))
7.3s
(log (exp (+ (* (* 1.0 1.0) 1.0) (* (* (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0)))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))) (* (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta))) (/ (- beta alpha) (+ (+ alpha beta) (+ (* 2 i) 2.0))))))))

simplify2.0s

Counts
74 → 74
Iterations
IterNodes
done2003
32003
21468
1392
0155

prune1.5s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 3.6b

regimes812.0ms

Accuracy

62.1% (3.2b remaining)

Error of 7.6b against oracle of 4.4b and baseline of 12.8b

bsearch3.0ms

simplify8.0ms

Iterations
IterNodes
done47
147
037

end0.0ms

sample3.1s

Algorithm
intervals
Results
1.1s6299×body80valid
692.0ms596×body640valid
426.0ms527×body1280valid
424.0ms8000×pre80true
229.0ms378×body320valid
52.0ms200×body160valid