Details

sample147.0ms

Algorithm

intervals

Results

21.0ms

385×

body

valid

simplify3.1s

Counts

1 → 1

Iterations

Useful iterations: 2 (23.0ms)

Iter	Nodes	Cost
0	8	11
1	16	11
2	40	9
3	89	9
4	150	9
5	236	9
6	471	9
7	1245	9
done	5000	9

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))
0.1b	(* 0.12900613773279798 (* (* x x) x))
0.2b	(* (* x x) x)

rewrite181.0ms

Algorithm

rewrite-expression-head

Rules

31×	`pow1`
17×	`add-exp-log` `add-cbrt-cube`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`add-sqr-sqrt` `pow-plus` `pow-prod-up`
5×	`add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
4×	`associate-r` `associate-l`
3×	`expm1-log1p-u` `log1p-expm1-u`
2×	`pow2` `pow-sqr` `*-commutative`
1×	`sub-neg` `flip3--` `fma-neg` `diff-log` `prod-diff` `pow3` `flip--` `unswap-sqr`

Counts

3 → 69

Calls

3 calls:

20.0ms	(- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))
113.0ms	(* 0.12900613773279798 (* (* x x) x))
41.0ms	(* (* x x) x)

series372.0ms

Counts

3 → 9

Calls

3 calls:

206.0ms	(- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))
75.0ms	(* 0.12900613773279798 (* (* x x) x))
91.0ms	(* (* x x) x)

simplify3.2s

Counts

78 → 78

Iterations

Useful iterations: 2 (500.0ms)

Iter	Nodes	Cost
0	91	784
1	274	570
2	1892	489
done	5001	489

prune363.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 2 expressions with local error:

0.0b	(fma 0.954929658551372 x (* (- (pow x 3)) 0.12900613773279798))
0.1b	(* (- (pow x 3)) 0.12900613773279798)

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

28×	`associate-l`
12×	`distribute-lft-neg-in` `add-sqr-sqrt` `distribute-rgt-neg-in`
10×	`add-cube-cbrt` `*-un-lft-identity`
6×	`unpow-prod-down` `cube-prod`
4×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`associate-r`
2×	`expm1-log1p-u` `cube-mult` `unpow3` `log1p-expm1-u` `add-log-exp` `sqr-pow`
1×	`distribute-lft-neg-out` `neg-mul-1` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `fma-udef` `unswap-sqr`

Counts

2 → 56

Calls

2 calls:

1.0ms	(fma 0.954929658551372 x (* (- (pow x 3)) 0.12900613773279798))
53.0ms	(* (- (pow x 3)) 0.12900613773279798)

series260.0ms

Counts

2 → 6

Calls

2 calls:

175.0ms	(fma 0.954929658551372 x (* (- (pow x 3)) 0.12900613773279798))
85.0ms	(* (- (pow x 3)) 0.12900613773279798)

simplify922.0ms

Counts

62 → 62

Iterations

Useful iterations: done (918.0ms)

Iter	Nodes	Cost
0	83	496
1	187	469
2	803	431
done	5000	429

prune405.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 3 expressions with local error:

0.0b	(fma 0.954929658551372 x (* x (* (- (* x x)) 0.12900613773279798)))
0.2b	(* x (* (- (* x x)) 0.12900613773279798))
0.2b	(* (- (* x x)) 0.12900613773279798)

rewrite75.0ms

Algorithm

rewrite-expression-head

Rules

10×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`associate-l`
8×	`add-sqr-sqrt`
6×	`add-cube-cbrt` `*-un-lft-identity`
4×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
3×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
2×	`distribute-lft-neg-out` `*-commutative`
1×	`distribute-lft-neg-in` `neg-mul-1` `distribute-rgt-neg-in` `distribute-rgt-neg-out` `fma-udef` `unswap-sqr`

Counts

3 → 55

Calls

3 calls:

1.0ms	(fma 0.954929658551372 x (* x (* (- (* x x)) 0.12900613773279798)))
48.0ms	(* x (* (- (* x x)) 0.12900613773279798))
23.0ms	(* (- (* x x)) 0.12900613773279798)

series285.0ms

Counts

3 → 9

Calls

3 calls:

155.0ms	(fma 0.954929658551372 x (* x (* (- (* x x)) 0.12900613773279798)))
71.0ms	(* x (* (- (* x x)) 0.12900613773279798))
58.0ms	(* (- (* x x)) 0.12900613773279798)

simplify1.4s

Counts

64 → 64

Iterations

Useful iterations: 2 (254.0ms)

Iter	Nodes	Cost
0	81	634
1	191	618
2	1254	484
done	5000	484

prune392.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 2 expressions with local error:

0.0b	(fma 0.954929658551372 x (* (* x x) (* (- x) 0.12900613773279798)))
0.2b	(* (* x x) (* (- x) 0.12900613773279798))

rewrite71.0ms

Algorithm

rewrite-expression-head

Rules

14×	`pow1` `add-exp-log` `add-cbrt-cube`
8×	`pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`add-sqr-sqrt` `expm1-log1p-u` `add-cube-cbrt` `*-un-lft-identity` `log1p-expm1-u` `add-log-exp`
1×	`distribute-lft-neg-out` `associate-r` `associate-l` `*-commutative` `distribute-rgt-neg-out` `fma-udef`

Counts

2 → 35

Calls

2 calls:

1.0ms	(fma 0.954929658551372 x (* (* x x) (* (- x) 0.12900613773279798)))
68.0ms	(* (* x x) (* (- x) 0.12900613773279798))

series232.0ms

Counts

2 → 6

Calls

2 calls:

157.0ms	(fma 0.954929658551372 x (* (* x x) (* (- x) 0.12900613773279798)))
75.0ms	(* (* x x) (* (- x) 0.12900613773279798))

simplify1.2s

Counts

41 → 41

Iterations

Useful iterations: 2 (200.0ms)

Iter	Nodes	Cost
0	63	496
1	177	462
2	958	318
done	5000	318

prune199.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

regimes67.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	9
1	11	9
2	15	9
3	16	9
done	16	9

end0.0ms

sample1.3s

Algorithm

intervals

Results

916.0ms

12131×

body

valid