Details

sample181.0ms

Algorithm

intervals

Results

139.0ms	259×	body	10240	exit
15.0ms	200×	body	80	valid
6.0ms	31×	body	320	valid
3.0ms	20×	body	160	valid
3.0ms	9×	body	640	valid

simplify1.9s

Counts

1 → 1

Iterations

Iter	Nodes
6	2372
5	596
4	193
3	102
2	50
1	21
0	8

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.1b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b	(* wj (exp wj))
0.0b	(* wj (exp wj))
0.3b	(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
5.8b	(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

rewrite153.0ms

Algorithm

rewrite-expression-head

Rules

82×	`*-un-lft-identity`
76×	`add-sqr-sqrt`
67×	`add-cube-cbrt`
63×	`prod-diff`
61×	`times-frac`
13×	`distribute-rgt-out` `distribute-rgt1-in`
10×	`add-cbrt-cube`
8×	`pow1` `add-exp-log` `associate-/r/`
6×	`associate-r` `associate-l` `add-log-exp`
5×	`associate-/r*`
4×	`expm1-log1p-u` `flip3-+` `flip-+` `insert-posit16` `log1p-expm1-u` `div-inv`
3×	`fma-neg` `associate-/l*`
2×	`flip3--` `div-sub` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip--` `difference-of-squares` `unswap-sqr` `associate-/l/`
1×	`cbrt-undiv` `clear-num` `sub-neg` `frac-2neg` `diff-log` `div-exp` `distribute-lft-out--` `associate--r-`

Counts

4 → 170

Calls

4 calls:

9.0ms	(* wj (exp wj))
9.0ms	(* wj (exp wj))
54.0ms	(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
78.0ms	(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

series207.0ms

Counts

4 → 12

Calls

4 calls:

47.0ms	(* wj (exp wj))
31.0ms	(* wj (exp wj))
55.0ms	(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
74.0ms	(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

simplify1.5s

Counts

182 → 182

Iterations

Iter	Nodes
2	2303
1	814
0	309

prune1.8s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.3b

localize11.0ms

Local error

Found 1 expressions with local error:

0.0b	(- (fma wj wj x) (* (+ wj wj) x))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-sqr-sqrt` `*-un-lft-identity` `fma-neg` `prod-diff` `add-cube-cbrt` `add-log-exp`
1×	`expm1-log1p-u` `pow1` `sub-neg` `flip3--` `add-cbrt-cube` `diff-log` `associate--l+` `add-exp-log` `fma-udef` `insert-posit16` `log1p-expm1-u` `flip--`

Counts

1 → 22

Calls

1 calls:

5.0ms

(- (fma wj wj x) (* (+ wj wj) x))

series32.0ms

Counts

1 → 3

Calls

1 calls:

31.0ms

(- (fma wj wj x) (* (+ wj wj) x))

simplify846.0ms

Counts

25 → 25

Iterations

Iter	Nodes
3	2119
2	418
1	125
0	51

prune191.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.3b

localize27.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (- (fma wj wj x) (* (+ wj wj) x))) (cbrt (- (fma wj wj x) (* (+ wj wj) x))))
0.6b	(cbrt (- (fma wj wj x) (* (+ wj wj) x)))
0.6b	(cbrt (- (fma wj wj x) (* (+ wj wj) x)))
0.6b	(cbrt (- (fma wj wj x) (* (+ wj wj) x)))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`*-un-lft-identity` `add-cube-cbrt`
11×	`pow1`
9×	`flip3--` `pow1/3` `flip--`
6×	`swap-sqr` `associate-r` `associate-l` `add-exp-log`
4×	`expm1-log1p-u` `frac-times` `add-cbrt-cube` `insert-posit16` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `associate-l/` `associate-r/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 99

Calls

4 calls:

37.0ms	(* (cbrt (- (fma wj wj x) (* (+ wj wj) x))) (cbrt (- (fma wj wj x) (* (+ wj wj) x))))
7.0ms	(cbrt (- (fma wj wj x) (* (+ wj wj) x)))
3.0ms	(cbrt (- (fma wj wj x) (* (+ wj wj) x)))
3.0ms	(cbrt (- (fma wj wj x) (* (+ wj wj) x)))

series952.0ms

Counts

4 → 12

Calls

4 calls:

259.0ms	(* (cbrt (- (fma wj wj x) (* (+ wj wj) x))) (cbrt (- (fma wj wj x) (* (+ wj wj) x))))
231.0ms	(cbrt (- (fma wj wj x) (* (+ wj wj) x)))
203.0ms	(cbrt (- (fma wj wj x) (* (+ wj wj) x)))
260.0ms	(cbrt (- (fma wj wj x) (* (+ wj wj) x)))

simplify827.0ms

Counts

111 → 111

Iterations

Iter	Nodes
3	2182
2	660
1	252
0	111

prune914.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.3b

localize70.0ms

Local error

Found 4 expressions with local error:

0.3b	(- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj))))
0.3b	(- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj))))
2.9b	(fma (- (- (exp wj) (* wj (exp wj)))) (/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj))))) (* (- (exp wj) (* wj (exp wj))) (/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj)))))))
5.8b	(fma 1 wj (- (* (- (exp wj) (* wj (exp wj))) (/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj))))))))

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-log-exp`
4×	`add-sqr-sqrt` `expm1-log1p-u` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `insert-posit16` `log1p-expm1-u`
2×	`sub-neg` `flip3--` `fma-neg` `diff-log` `prod-diff` `fma-udef` `flip--` `difference-of-squares`

Counts

4 → 58

Calls

4 calls:

29.0ms	(- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj))))
28.0ms	(- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj))))
0.0ms	(fma (- (- (exp wj) (* wj (exp wj)))) (/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj))))) (* (- (exp wj) (* wj (exp wj))) (/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj)))))))
1.0ms	(fma 1 wj (- (* (- (exp wj) (* wj (exp wj))) (/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj))))))))

series662.0ms

Counts

4 → 12

Calls

4 calls:

143.0ms	(- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj))))
139.0ms	(- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj))))
185.0ms	(fma (- (- (exp wj) (* wj (exp wj)))) (/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj))))) (* (- (exp wj) (* wj (exp wj))) (/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj)))))))
194.0ms	(fma 1 wj (- (* (- (exp wj) (* wj (exp wj))) (/ (- (* wj (exp wj)) x) (- (* (exp wj) (exp wj)) (* (* wj (exp wj)) (* wj (exp wj))))))))

simplify1.5s

Counts

70 → 70

Iterations

Iter	Nodes
3	4040
2	684
1	204
0	84

prune834.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.3b

regimes135.0ms

Accuracy

17.2% (1.3b remaining)

Error of 1.8b against oracle of 0.5b and baseline of 2.1b

bsearch153.0ms

Steps

Iters	Range		Point
10	6.114234060626768e-49	2.785265345013959e-36	6.814864601083122e-38

simplify21.0ms

Iterations

Iter	Nodes
3	42
2	42
1	38
0	30

end0.0ms

sample7.8s

Algorithm

intervals

Results

6.4s	7498×	body	10240	exit
634.0ms	6299×	body	80	valid
237.0ms	829×	body	320	valid
159.0ms	417×	body	640	valid
119.0ms	535×	body	160	valid