Details

sample64.0ms

Algorithm

intervals

Results

29.0ms	87×	body	1280	valid
8.0ms	160×	body	80	valid
8.0ms	38×	body	640	valid
4.0ms	23×	body	320	valid
2.0ms	20×	body	160	valid

simplify4.4s

Counts

1 → 1

Iterations

Iter	Nodes
8	7028
7	1436
6	463
5	188
4	92
3	55
2	38
1	26
0	6

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 32.1b

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b	(exp (* a x))
4.7b	(- (exp (* a x)) 1)

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt` `add-log-exp`
5×	`*-un-lft-identity`
2×	`pow1` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `insert-posit16` `difference-of-squares`
1×	`exp-prod` `sub-neg` `flip3--` `exp-to-pow` `diff-log` `difference-of-sqr-1` `flip--` `distribute-lft-out--` `rem-exp-log`

Counts

2 → 28

Calls

2 calls:

4.0ms	(exp (* a x))
12.0ms	(- (exp (* a x)) 1)

series83.0ms

Counts

2 → 6

Calls

2 calls:

22.0ms	(exp (* a x))
61.0ms	(- (exp (* a x)) 1)

simplify917.0ms

Counts

34 → 34

Iterations

Iter	Nodes
4	2632
3	924
2	393
1	208
0	56

prune262.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize43.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (* (* (* a x) (* a x)) (* a x)) 1/6)
0.2b	(* (* a x) (* a x))
0.2b	(* (* a x) (* 1/2 (* a x)))
12.3b	(+ (* (* a x) (* 1/2 (* a x))) (* (* (* (* a x) (* a x)) (* a x)) 1/6))

rewrite506.0ms

Algorithm

rewrite-expression-head

Rules

117×	`pow1`
90×	`add-cbrt-cube` `add-exp-log`
74×	`pow-prod-down`
65×	`prod-exp` `cbrt-unprod`
6×	`add-log-exp`
5×	`add-sqr-sqrt` `-un-lft-identity` `associate-r*` `add-cube-cbrt`
4×	`pow-sqr` `pow-prod-up` `insert-posit16`
3×	`associate-l` `*-commutative`
2×	`pow-plus`
1×	`pow2` `+-commutative` `sum-log` `flip3-+` `swap-sqr` `flip-+`

Counts

4 → 122

Calls

4 calls:

353.0ms	(* (* (* (* a x) (* a x)) (* a x)) 1/6)
25.0ms	(* (* a x) (* a x))
47.0ms	(* (* a x) (* 1/2 (* a x)))
79.0ms	(+ (* (* a x) (* 1/2 (* a x))) (* (* (* (* a x) (* a x)) (* a x)) 1/6))

series371.0ms

Counts

4 → 12

Calls

4 calls:

100.0ms	(* (* (* (* a x) (* a x)) (* a x)) 1/6)
39.0ms	(* (* a x) (* a x))
63.0ms	(* (* a x) (* 1/2 (* a x)))
168.0ms	(+ (* (* a x) (* 1/2 (* a x))) (* (* (* (* a x) (* a x)) (* a x)) 1/6))

simplify1.2s

Counts

134 → 134

Iterations

Iter	Nodes
2	2386
1	710
0	162

prune1.3s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes213.0ms

Accuracy

98.8% (0.3b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 21.1b

bsearch59.0ms

Steps

Iters	Range		Point
10	-23.61847671328339	-9.97189493266467e-11	-0.0001643503585998139

simplify7.0ms

Iterations

Iter	Nodes
2	27
1	27
0	18

end0.0ms

sample2.4s

Algorithm

intervals

Results

1.1s	2717×	body	1280	valid
431.0ms	5414×	body	80	valid
396.0ms	1314×	body	640	valid
138.0ms	761×	body	320	valid
51.0ms	414×	body	160	valid