Details

sample230.0ms

Algorithm

intervals

Results

180.0ms	240×	body	10240	exit
17.0ms	192×	body	80	valid
8.0ms	18×	body	640	valid
7.0ms	28×	body	320	valid
3.0ms	21×	body	160	valid

simplify216.0ms

Calls

1 calls:

Slowest

216.0ms

(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.1b

localize22.0ms

Local error

Found 4 expressions with local error:

5.7b	(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
0.7b	(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
0.0b	(* wj (exp wj))
0.0b	(* wj (exp wj))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

20×	`*-un-lft-identity`
16×	`add-sqr-sqrt` `add-cube-cbrt`
15×	`times-frac`
6×	`add-cbrt-cube` `associate-r` `add-exp-log`
5×	`associate-/r*`
4×	`pow1` `distribute-rgt-out` `distribute-rgt1-in` `insert-posit16` `add-log-exp`
3×	`associate-/l*`
2×	`flip3--` `div-sub` `associate-/r/` `*-commutative` `flip--` `associate-/l/`
1×	`cbrt-undiv` `clear-num` `sub-neg` `frac-2neg` `flip3-+` `div-exp` `flip-+` `div-inv` `associate--r-`

Calls

4 calls:

Slowest

11.0ms	(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
1.0ms	(* wj (exp wj))
1.0ms	(* wj (exp wj))
1.0ms	(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

series224.0ms

Calls

4 calls:

Slowest

95.0ms	(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
54.0ms	(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
39.0ms	(* wj (exp wj))
36.0ms	(* wj (exp wj))

simplify3.7s

Calls

63 calls:

Slowest

569.0ms	(/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))
394.0ms	(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
221.0ms	(+ (* (exp wj) (exp wj)) (- (* (* wj (exp wj)) (* wj (exp wj))) (* (exp wj) (* wj (exp wj)))))
208.0ms	(/ (* (* (- (* wj (exp wj)) x) (- (* wj (exp wj)) x)) (- (* wj (exp wj)) x)) (* (* (+ (exp wj) (* wj (exp wj))) (+ (exp wj) (* wj (exp wj)))) (+ (exp wj) (* wj (exp wj)))))
188.0ms	(- (* (* wj (exp wj)) (* wj (exp wj))) (* x x))

prune773.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.3b

localize17.0ms

Local error

Found 2 expressions with local error:

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

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-sqr-sqrt` `-un-lft-identity` `associate-l*` `add-cube-cbrt`
2×	`pow1` `flip3-+` `add-cbrt-cube` `associate-*l/` `add-exp-log` `flip-+` `insert-posit16` `add-log-exp`
1×	`+-commutative` `*-commutative`

Calls

2 calls:

Slowest

6.0ms	(* (+ wj (* -2 x)) wj)
3.0ms	(+ x (* (+ wj (* -2 x)) wj))

series129.0ms

Calls

2 calls:

Slowest

79.0ms	(* (+ wj (* -2 x)) wj)
49.0ms	(+ x (* (+ wj (* -2 x)) wj))

simplify1.2s

Calls

10 calls:

Slowest

402.0ms	(* (- (* wj wj) (* (* -2 x) (* -2 x))) wj)
234.0ms	(* (+ (pow wj 3) (pow (* -2 x) 3)) wj)
145.0ms	(- (+ x (pow wj 2)) (* 2 (* x wj)))
106.0ms	(- (+ (pow wj 2) x) (* 2 (* x wj)))
98.0ms	(- (+ x (pow wj 2)) (* 2 (* x wj)))

prune301.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.3b

localize22.0ms

Local error

Found 4 expressions with local error:

9.6b	(cbrt (* (+ wj (* -2 x)) wj))
9.6b	(cbrt (* (+ wj (* -2 x)) wj))
9.6b	(cbrt (* (+ wj (* -2 x)) wj))
0.5b	(* (cbrt (* (+ wj (* -2 x)) wj)) (cbrt (* (+ wj (* -2 x)) wj)))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

20×	`associate-*l/`
18×	`cbrt-div`
9×	`pow1` `flip3-+` `flip-+`
7×	`pow1/3`
6×	`add-sqr-sqrt` `*-un-lft-identity` `add-exp-log` `add-cube-cbrt`
5×	`cbrt-prod`
4×	`frac-times` `add-cbrt-cube` `associate-r` `associate-l` `insert-posit16` `add-log-exp`
2×	`pow-prod-down` `associate-*r/` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Calls

4 calls:

Slowest

26.0ms	(* (cbrt (* (+ wj (* -2 x)) wj)) (cbrt (* (+ wj (* -2 x)) wj)))
4.0ms	(cbrt (* (+ wj (* -2 x)) wj))
4.0ms	(cbrt (* (+ wj (* -2 x)) wj))
4.0ms	(cbrt (* (+ wj (* -2 x)) wj))

series1.4s

Calls

4 calls:

Slowest

376.0ms	(cbrt (* (+ wj (* -2 x)) wj))
369.0ms	(cbrt (* (+ wj (* -2 x)) wj))
332.0ms	(* (cbrt (* (+ wj (* -2 x)) wj)) (cbrt (* (+ wj (* -2 x)) wj)))
321.0ms	(cbrt (* (+ wj (* -2 x)) wj))

simplify6.6s

Calls

49 calls:

Slowest

411.0ms	(* (cbrt (* (+ (pow wj 3) (pow (* -2 x) 3)) wj)) (cbrt (* (+ (pow wj 3) (pow (* -2 x) 3)) wj)))
399.0ms	(cbrt (* (- (* wj wj) (* (* -2 x) (* -2 x))) wj))
395.0ms	(cbrt (* (- (* wj wj) (* (* -2 x) (* -2 x))) wj))
386.0ms	(* (cbrt (* (- (* wj wj) (* (* -2 x) (* -2 x))) wj)) (cbrt (* (- (* wj wj) (* (* -2 x) (* -2 x))) wj)))
375.0ms	(* (cbrt (* (- (* wj wj) (* (* -2 x) (* -2 x))) wj)) (cbrt (* (+ wj (* -2 x)) wj)))

prune856.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.3b

localize45.0ms

Local error

Found 4 expressions with local error:

28.6b	(cbrt (/ (/ -1 (/ -1 wj)) (/ -1 wj)))
9.6b	(cbrt (* (+ wj (* -2 x)) wj))
9.6b	(cbrt (* (+ wj (* -2 x)) wj))
0.3b	(* (* (cbrt (/ (/ -1 (/ -1 wj)) (/ -1 wj))) (cbrt -1)) (cbrt (* (+ wj (* -2 x)) wj)))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

28×	`cbrt-prod`
20×	`times-frac`
15×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
12×	`cbrt-div` `associate-*l/`
10×	`div-inv`
9×	`pow1` `add-exp-log`
6×	`pow1/3`
5×	`add-cbrt-cube` `pow-prod-down` `associate-/r/`
4×	`flip3-+` `associate-r` `flip-+` `insert-posit16` `add-log-exp`
3×	`prod-exp` `cbrt-unprod`
2×	`frac-times` `associate-*r/`
1×	`associate-l` `*-commutative`

Calls

4 calls:

Slowest

27.0ms	(* (* (cbrt (/ (/ -1 (/ -1 wj)) (/ -1 wj))) (cbrt -1)) (cbrt (* (+ wj (* -2 x)) wj)))
4.0ms	(cbrt (* (+ wj (* -2 x)) wj))
3.0ms	(cbrt (* (+ wj (* -2 x)) wj))
3.0ms	(cbrt (/ (/ -1 (/ -1 wj)) (/ -1 wj)))

series1.4s

Calls

4 calls:

Slowest

392.0ms	(cbrt (* (+ wj (* -2 x)) wj))
375.0ms	(* (* (cbrt (/ (/ -1 (/ -1 wj)) (/ -1 wj))) (cbrt -1)) (cbrt (* (+ wj (* -2 x)) wj)))
372.0ms	(cbrt (* (+ wj (* -2 x)) wj))
307.0ms	(cbrt (/ (/ -1 (/ -1 wj)) (/ -1 wj)))

simplify6.7s

Calls

63 calls:

Slowest

695.0ms	(* (* (cbrt (/ -1 (/ -1 wj))) (cbrt -1)) (cbrt (* (+ (pow wj 3) (pow (* -2 x) 3)) wj)))
657.0ms	(* (* (/ (/ -1 (/ -1 wj)) (/ -1 wj)) -1) (* (+ wj (* -2 x)) wj))
602.0ms	(* (* (/ (/ -1 (/ -1 wj)) (/ -1 wj)) -1) (* (+ wj (* -2 x)) wj))
393.0ms	(cbrt (* (- (* wj wj) (* (* -2 x) (* -2 x))) wj))
343.0ms	(cbrt (* (- (* wj wj) (* (* -2 x) (* -2 x))) wj))

prune1.3s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.3b

regimes208.0ms

Accuracy

73.2% (0.5b remaining)

Error of 0.8b against oracle of 0.3b and baseline of 2.2b

bsearch6.0ms

end0.0ms

sample7.9s

Algorithm

intervals

Results

6.1s	7622×	body	10240	exit
1.0s	6300×	body	80	valid
207.0ms	783×	body	320	valid
196.0ms	447×	body	640	valid
97.0ms	548×	body	160	valid