Details

sample35.0ms

Algorithm

intervals

Results

16.0ms	256×	body	80	valid
10.0ms	256×	pre	80	true

simplify152.0ms

Calls

1 calls:

Slowest

152.0ms

(+ (* x (* x x)) (* x x))

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 1 expressions with local error:

0.0b	(* (fma x x x) x)

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-sqr-sqrt`
3×	`pow1` `-un-lft-identity` `add-cbrt-cube` `associate-r` `associate-l*` `add-exp-log` `add-cube-cbrt`
1×	`expm1-log1p-u` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `insert-posit16` `log1p-expm1-u` `add-log-exp` `unswap-sqr`

Calls

1 calls:

Slowest

6.0ms

(* (fma x x x) x)

series89.0ms

Calls

1 calls:

Slowest

89.0ms

(* (fma x x x) x)

simplify554.0ms

Calls

12 calls:

Slowest

349.0ms	(* (* (* (fma x x x) (fma x x x)) (fma x x x)) (* (* x x) x))
36.0ms	(+ (pow x 3) (pow x 2))
32.0ms	(+ (pow x 3) (pow x 2))
28.0ms	(+ (log (fma x x x)) (log x))
28.0ms	(* (sqrt (fma x x x)) (sqrt x))

prune185.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize8.0ms

Local error

Found 2 expressions with local error:

0.1b	(* x (* x x))
0.0b	(+ (* x (* x x)) (* x x))

rewrite106.0ms

Algorithm

rewrite-expression-head

Rules

87×	`associate-r`
69×	`add-sqr-sqrt`
66×	`*-un-lft-identity`
37×	`distribute-rgt-out` `associate-l`
29×	`add-cube-cbrt`
28×	`fma-def`
22×	`swap-sqr`
20×	`unswap-sqr`
19×	`*-commutative`
16×	`pow1`
12×	`distribute-lft-out`
7×	`add-cbrt-cube` `add-exp-log`
5×	`pow-prod-up`
4×	`distribute-lft1-in` `add-log-exp`
3×	`pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`expm1-log1p-u` `cube-unmult` `insert-posit16` `log1p-expm1-u`
1×	`pow2` `+-commutative` `sum-log` `flip3-+` `pow-plus` `pow-sqr` `flip-+`

Calls

2 calls:

Slowest

77.0ms	(+ (* x (* x x)) (* x x))
26.0ms	(* x (* x x))

series141.0ms

Calls

2 calls:

Slowest

85.0ms	(+ (* x (* x x)) (* x x))
56.0ms	(* x (* x x))

simplify4.6s

Calls

150 calls:

Slowest

543.0ms	(* (* (* x x) x) (* (* (* x x) x) (* (* x x) x)))
500.0ms	(* (* (* x x) x) (* (* (* x x) (* x x)) (* x x)))
283.0ms	(* (exp (* x (* x x))) (exp (* x x)))
282.0ms	(+ (* x (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x)))) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))))
275.0ms	(+ (* x (* x (* (cbrt x) (cbrt x)))) (* x (* (cbrt x) (cbrt x))))

prune963.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize27.0ms

Local error

Found 4 expressions with local error:

15.9b	(cbrt (* (* (* (fma x x x) x) (* (fma x x x) x)) (* (fma x x x) x)))
0.1b	(* (* (fma x x x) x) (* (fma x x x) x))
0.1b	(* (* (* (fma x x x) x) (* (fma x x x) x)) (* (fma x x x) x))
0.0b	(* (fma x x x) x)

rewrite451.0ms

Algorithm

rewrite-expression-head

Rules

247×	`add-sqr-sqrt`
200×	`pow1`
181×	`associate-l`
133×	`unswap-sqr`
105×	`associate-r`
87×	`pow-prod-down`
82×	`cbrt-prod`
63×	`*-un-lft-identity`
59×	`add-cbrt-cube` `add-exp-log`
51×	`add-cube-cbrt`
50×	`swap-sqr`
40×	`prod-exp` `cbrt-unprod`
38×	`pow-prod-up`
26×	`*-commutative`
19×	`pow-plus`
16×	`pow-sqr`
4×	`pow2` `expm1-log1p-u` `pow3` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`rem-cbrt-cube`
1×	`pow1/3`

Calls

4 calls:

Slowest

217.0ms	(* (* (* (fma x x x) x) (* (fma x x x) x)) (* (fma x x x) x))
173.0ms	(cbrt (* (* (* (fma x x x) x) (* (fma x x x) x)) (* (fma x x x) x)))
47.0ms	(* (* (fma x x x) x) (* (fma x x x) x))
7.0ms	(* (fma x x x) x)

series314.0ms

Calls

4 calls:

Slowest

109.0ms	(cbrt (* (* (* (fma x x x) x) (* (fma x x x) x)) (* (fma x x x) x)))
89.0ms	(* (fma x x x) x)
68.0ms	(* (* (* (fma x x x) x) (* (fma x x x) x)) (* (fma x x x) x))
47.0ms	(* (* (fma x x x) x) (* (fma x x x) x))

simplify57.8s

Calls

366 calls:

Slowest

1.1s	(* (* (* (fma x x x) x) (* (fma x x x) x)) (* (fma x x x) x))
755.0ms	(* (* (* (fma x x x) x) (* (fma x x x) x)) (* (fma x x x) x))
743.0ms	(* (* (* (fma x x x) x) (* (fma x x x) x)) (* (fma x x x) x))
691.0ms	(* (* (* (fma x x x) x) (* (fma x x x) x)) (* (fma x x x) x))
681.0ms	(cbrt (* (* (* (fma x x x) x) (* (fma x x x) x)) (* (sqrt (fma x x x)) (sqrt x))))

prune3.2s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes48.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample1.4s

Algorithm

intervals

Results

846.0ms	8000×	pre	80	true
455.0ms	8000×	body	80	valid