Details

sample54.0ms

Algorithm

intervals

Results

10.0ms	194×	body	80	valid
9.0ms	22×	body	640	valid
5.0ms	20×	body	1280	valid
5.0ms	256×	pre	80	true
2.0ms	15×	body	320	valid
0.0ms	5×	body	160	valid

simplify2.0s

Counts

1 → 1

Iterations

Iter	Nodes
done	5003
4	2146
3	448
2	97
1	31
0	15

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 23.6b

localize35.0ms

Local error

Found 3 expressions with local error:

0.0b

(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))

1.2b

(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)

20.8b

(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))

rewrite1.0s

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--` `flip--`
2×	`clear-num` `frac-2neg` `associate-l/` `prod-exp` `associate-r/` `cbrt-unprod`
1×	`+-commutative` `sum-log`

Counts

3 → 111

Calls

3 calls:

262.0ms

(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))

696.0ms

(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)

77.0ms

(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))

series972.0ms

Counts

3 → 9

Calls

3 calls:

373.0ms

(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))

463.0ms

(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)

136.0ms

(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))

simplify2.6s

Counts

120 → 120

Iterations

Iter	Nodes
done	5016
2	3101
1	690
0	225

prune810.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 6.4b

localize141.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i))))
0.1b	(* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i))))
1.2b	(+ (* (* 1.0 1.0) 1.0) (* (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i)))) (* (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i)))) (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i)))))))
1.9b	(- 1.0 (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i)))))

rewrite3.1s

Algorithm

rewrite-expression-head

Rules

74×	`add-sqr-sqrt`
62×	`*-un-lft-identity` `times-frac`
42×	`associate-l`
38×	`add-cube-cbrt`
36×	`associate-r`
28×	`add-cbrt-cube` `add-exp-log`
8×	`pow1` `cbrt-undiv` `div-exp` `prod-exp` `associate-/r/` `cbrt-unprod` `add-log-exp` `unswap-sqr`
6×	`distribute-lft-out` `distribute-lft-out--` `difference-of-squares`
5×	`flip3-+` `flip-+`
4×	`div-inv`
2×	`frac-times` `pow-prod-down` `associate-l/` `associate-r/` `*-commutative`
1×	`+-commutative` `sum-log` `sub-neg` `flip3--` `diff-log` `cube-unmult` `pow3` `sum-cubes` `flip--`

Counts

4 → 150

Calls

4 calls:

323.0ms	(* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i))))
410.0ms	(* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i))))
2.3s	(+ (* (* 1.0 1.0) 1.0) (* (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i)))) (* (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i)))) (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i)))))))
7.0ms	(- 1.0 (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i)))))

series10.5s

Counts

4 → 12

Calls

4 calls:

338.0ms	(* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i))))
370.0ms	(* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i))))
9.3s	(+ (* (* 1.0 1.0) 1.0) (* (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i)))) (* (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i)))) (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i)))))))
444.0ms	(- 1.0 (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i)))))

simplify2.8s

Counts

162 → 162

Iterations

Iter	Nodes
done	5001
2	3232
1	730
0	217

prune1.7s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 6.4b

localize151.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i))))
0.2b	(* (exp (* (* 1.0 1.0) 1.0)) (exp (* (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i)))) (* (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i)))) (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i))))))))
1.2b	(log (* (exp (* (* 1.0 1.0) 1.0)) (exp (* (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i)))) (* (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i)))) (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i)))))))))
1.9b	(- 1.0 (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i)))))

rewrite560.0ms

Algorithm

rewrite-expression-head

Rules

43×	`add-sqr-sqrt`
35×	`*-un-lft-identity`
31×	`times-frac`
24×	`associate-l`
23×	`add-cube-cbrt`
21×	`associate-r`
18×	`add-cbrt-cube`
17×	`add-exp-log`
11×	`pow1`
6×	`prod-exp` `add-log-exp`
5×	`cbrt-unprod` `unswap-sqr`
4×	`cbrt-undiv` `div-exp` `associate-/r/`
3×	`pow-prod-down` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares`
2×	`flip3-+` `rem-log-exp` `log-pow` `*-commutative` `flip-+` `div-inv`
1×	`frac-times` `log-prod` `sub-neg` `flip3--` `diff-log` `associate-l/` `associate-r/` `flip--`

Counts

4 → 105

Calls

4 calls:

398.0ms	(* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i))))
98.0ms	(* (exp (* (* 1.0 1.0) 1.0)) (exp (* (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i)))) (* (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i)))) (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i))))))))
49.0ms	(log (* (exp (* (* 1.0 1.0) 1.0)) (exp (* (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i)))) (* (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i)))) (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i)))))))))
8.0ms	(- 1.0 (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i)))))

series56.5s

Counts

4 → 12

Calls

4 calls:

336.0ms	(* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i))))
21.9s	(* (exp (* (* 1.0 1.0) 1.0)) (exp (* (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i)))) (* (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i)))) (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i))))))))
33.8s	(log (* (exp (* (* 1.0 1.0) 1.0)) (exp (* (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i)))) (* (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i)))) (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i)))))))))
438.0ms	(- 1.0 (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (+ (+ 2.0 (+ alpha beta)) (* 2.0 i)))))

simplify2.5s

Counts

117 → 117

Iterations

Iter	Nodes
done	5007
2	3015
1	736
0	240

prune1.3s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 6.4b

localize36.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (+ (+ alpha beta) (* 2.0 i)))
0.6b	(cbrt (+ (+ alpha beta) (* 2.0 i)))
0.6b	(cbrt (+ (+ alpha beta) (* 2.0 i)))
9.9b	(+ (* (/ (+ alpha beta) (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i))))) (/ (/ (- beta alpha) (cbrt (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 1.0)

rewrite428.0ms

Algorithm

rewrite-expression-head

Rules

9×	`cbrt-prod`
7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`cbrt-div` `add-log-exp`
4×	`pow1` `flip3-+` `add-cbrt-cube` `add-exp-log` `flip-+`
3×	`pow1/3`
1×	`+-commutative` `sum-log`

Counts

4 → 50

Calls

4 calls:

25.0ms	(cbrt (+ (+ alpha beta) (* 2.0 i)))
31.0ms	(cbrt (+ (+ alpha beta) (* 2.0 i)))
25.0ms	(cbrt (+ (+ alpha beta) (* 2.0 i)))
346.0ms	(+ (* (/ (+ alpha beta) (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i))))) (/ (/ (- beta alpha) (cbrt (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 1.0)

series1.2s

Counts

4 → 12

Calls

4 calls:

219.0ms	(cbrt (+ (+ alpha beta) (* 2.0 i)))
233.0ms	(cbrt (+ (+ alpha beta) (* 2.0 i)))
237.0ms	(cbrt (+ (+ alpha beta) (* 2.0 i)))
470.0ms	(+ (* (/ (+ alpha beta) (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i))))) (/ (/ (- beta alpha) (cbrt (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 1.0)

simplify3.9s

Counts

62 → 62

Iterations

Iter	Nodes
done	5000
3	4454
2	995
1	303
0	110

prune483.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 6.4b

regimes704.0ms

Accuracy

74.7% (1.7b remaining)

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

bsearch3.0ms

simplify24.0ms

Iterations

Iter	Nodes
done	62
1	62
0	46

end0.0ms

sample1.8s

Algorithm

intervals

Results

673.0ms	6390×	body	80	valid
313.0ms	522×	body	1280	valid
230.0ms	8000×	pre	80	true
208.0ms	539×	body	640	valid
75.0ms	350×	body	320	valid
28.0ms	199×	body	160	valid