Details

sample348.0ms

Algorithm

intervals

Results

172.0ms	128×	body	1280	valid
94.0ms	60×	body	640	valid
16.0ms	256×	pre	80	true
11.0ms	23×	body	320	valid
5.0ms	35×	body	80	valid
3.0ms	10×	body	160	valid

simplify7.3s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
9	4724
8	1354
7	446
6	193
5	89
4	39
3	33
2	22
1	15
0	9

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.6b

localize41.0ms

Local error

Found 3 expressions with local error:

0.1b	(+ x (- (tan (+ y z)) (tan a)))
0.2b	(- (tan (+ y z)) (tan a))
2.9b	(tan (+ y z))

rewrite72.0ms

Algorithm

rewrite-expression-head

Rules

24×	`*-un-lft-identity`
19×	`add-sqr-sqrt`
18×	`prod-diff`
17×	`add-cube-cbrt`
11×	`associate-+r+`
10×	`add-log-exp`
4×	`tan-quot`
3×	`expm1-log1p-u` `pow1` `fma-def` `add-cbrt-cube` `fma-neg` `add-exp-log` `log1p-expm1-u`
2×	`tan-sum` `sum-log` `sub-neg` `diff-log` `frac-sub` `distribute-lft-out` `distribute-lft-out--`
1×	`+-commutative` `associate-+r-` `flip3-+` `flip3--` `flip-+` `flip--` `difference-of-squares`

Counts

3 → 72

Calls

3 calls:

28.0ms	(+ x (- (tan (+ y z)) (tan a)))
29.0ms	(- (tan (+ y z)) (tan a))
11.0ms	(tan (+ y z))

series524.0ms

Counts

3 → 9

Calls

3 calls:

230.0ms	(+ x (- (tan (+ y z)) (tan a)))
207.0ms	(- (tan (+ y z)) (tan a))
87.0ms	(tan (+ y z))

simplify1.4s

Counts

81 → 81

Iterations

Iter	Nodes
done	5000
2	1003
1	284
0	128

prune639.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

localize63.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z))))
0.1b	(+ (tan y) (tan z))
0.2b	(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
0.2b	(* (tan y) (tan z))

rewrite245.0ms

Algorithm

rewrite-expression-head

Rules

102×	`*-un-lft-identity`
73×	`add-sqr-sqrt`
66×	`add-cube-cbrt`
61×	`times-frac`
54×	`prod-diff`
18×	`fma-neg`
17×	`distribute-lft-out`
10×	`associate-/r/`
9×	`tan-quot`
8×	`add-cbrt-cube` `add-exp-log` `add-log-exp`
6×	`pow1` `flip3--` `flip--`
5×	`div-inv`
4×	`expm1-log1p-u` `log1p-expm1-u` `associate-/l*`
3×	`associate-/r` `fma-def` `associate-r` `associate-l*` `associate-/l/`
2×	`flip3-+` `frac-add` `flip-+` `difference-of-squares`
1×	`frac-times` `cbrt-undiv` `+-commutative` `clear-num` `sum-log` `sub-neg` `frac-2neg` `diff-log` `div-exp` `pow-prod-down` `associate-l/` `prod-exp` `associate-r/` `*-commutative` `frac-sub` `cbrt-unprod` `distribute-lft-out--` `unswap-sqr`

Counts

4 → 169

Calls

4 calls:

44.0ms	(/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z))))
15.0ms	(+ (tan y) (tan z))
154.0ms	(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
25.0ms	(* (tan y) (tan z))

series1.3s

Counts

4 → 12

Calls

4 calls:

349.0ms	(/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z))))
127.0ms	(+ (tan y) (tan z))
676.0ms	(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
139.0ms	(* (tan y) (tan z))

simplify3.0s

Counts

181 → 181

Iterations

Iter	Nodes
done	5000
2	2519
1	593
0	244

prune1.2s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.0b

localize44.0ms

Local error

Found 4 expressions with local error:

0.1b	(+ x (- (* (+ (tan y) (tan z)) (/ 1 (- 1 (* (tan y) (tan z))))) (tan a)))
0.1b	(+ (tan y) (tan z))
0.2b	(- (* (+ (tan y) (tan z)) (/ 1 (- 1 (* (tan y) (tan z))))) (tan a))
0.2b	(* (tan y) (tan z))

rewrite109.0ms

Algorithm

rewrite-expression-head

Rules

18×	`tan-quot`
14×	`*-un-lft-identity`
13×	`add-log-exp`
12×	`add-sqr-sqrt`
10×	`add-cube-cbrt`
8×	`frac-sub`
6×	`pow1` `fma-def` `add-cbrt-cube` `prod-diff` `add-exp-log`
5×	`associate-+r+`
4×	`expm1-log1p-u` `frac-times` `flip3-+` `associate-*l/` `flip-+` `log1p-expm1-u`
3×	`sum-log` `associate-r` `associate-l` `frac-add`
2×	`+-commutative` `sub-neg` `diff-log` `associate-*r/` `distribute-lft-out`
1×	`associate-+r-` `flip3--` `fma-neg` `pow-prod-down` `prod-exp` `un-div-inv` `*-commutative` `cbrt-unprod` `flip--` `unswap-sqr`

Counts

4 → 91

Calls

4 calls:

43.0ms	(+ x (- (* (+ (tan y) (tan z)) (/ 1 (- 1 (* (tan y) (tan z))))) (tan a)))
16.0ms	(+ (tan y) (tan z))
29.0ms	(- (* (+ (tan y) (tan z)) (/ 1 (- 1 (* (tan y) (tan z))))) (tan a))
16.0ms	(* (tan y) (tan z))

series1.4s

Counts

4 → 12

Calls

4 calls:

544.0ms	(+ x (- (* (+ (tan y) (tan z)) (/ 1 (- 1 (* (tan y) (tan z))))) (tan a)))
133.0ms	(+ (tan y) (tan z))
609.0ms	(- (* (+ (tan y) (tan z)) (/ 1 (- 1 (* (tan y) (tan z))))) (tan a))
125.0ms	(* (tan y) (tan z))

simplify2.0s

Counts

103 → 103

Iterations

Iter	Nodes
done	5000
2	2541
1	564
0	212

prune757.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize68.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (tan y) (tan z))
0.2b	(* (tan y) (tan z))
0.2b	(* (* (tan y) (tan z)) (* (tan y) (tan z)))
0.2b	(* (* (tan y) (tan z)) (* (tan y) (tan z)))

rewrite175.0ms

Algorithm

rewrite-expression-head

Rules

86×	`pow1`
72×	`tan-quot`
36×	`frac-times` `pow-prod-down`
32×	`add-cbrt-cube` `add-exp-log`
24×	`associate-l/` `associate-r/`
18×	`prod-exp` `cbrt-unprod`
12×	`add-sqr-sqrt`
8×	`-un-lft-identity` `associate-r` `associate-l*` `pow-sqr` `pow-prod-up` `add-cube-cbrt`
4×	`expm1-log1p-u` `pow-plus` `*-commutative` `log1p-expm1-u` `add-log-exp`
2×	`pow2` `swap-sqr` `unswap-sqr`

Counts

4 → 148

Calls

4 calls:

26.0ms	(* (tan y) (tan z))
24.0ms	(* (tan y) (tan z))
61.0ms	(* (* (tan y) (tan z)) (* (tan y) (tan z)))
53.0ms	(* (* (tan y) (tan z)) (* (tan y) (tan z)))

series609.0ms

Counts

4 → 12

Calls

4 calls:

123.0ms	(* (tan y) (tan z))
143.0ms	(* (tan y) (tan z))
148.0ms	(* (* (tan y) (tan z)) (* (tan y) (tan z)))
194.0ms	(* (* (tan y) (tan z)) (* (tan y) (tan z)))

simplify1.2s

Counts

160 → 160

Iterations

Iter	Nodes
done	5001
2	2038
1	350
0	120

prune1.2s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

regimes733.0ms

Accuracy

0% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 0.2b

bsearch0.0ms

simplify9.0ms

Iterations

Iter	Nodes
done	24
2	24
1	23
0	18

end0.0ms

sample9.5s

Algorithm

intervals

Results

6.1s	3895×	body	1280	valid
1.4s	2001×	body	640	valid
737.0ms	8000×	pre	80	true
326.0ms	674×	body	320	valid
272.0ms	1158×	body	80	valid
168.0ms	272×	body	160	valid