Details

sample167.0ms

Algorithm

intervals

Results

134.0ms

588×

body

valid

simplify303.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

303.0ms

(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y))))

prune23.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 9.6b

localize51.0ms

Local error

Found 4 expressions with local error:

4.6b	(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (- (* z c) (* i a)) b)))
4.0b	(* (- (* z y) (* t a)) x)
4.0b	(* (- (* z c) (* i a)) b)
0.3b	(- (* z y) (* t a))

rewrite90.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt`
8×	`pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
6×	`associate-r` `associate-l` `add-log-exp`
4×	`expm1-log1p-u` `associate-*l/` `insert-posit16` `log1p-expm1-u`
3×	`flip3--` `flip--`
2×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`sub-neg` `fma-neg` `diff-log` `prod-diff` `fma-udef`

Counts

4 → 74

Calls

4 calls:

Slowest

45.0ms	(* (- (* z c) (* i a)) b)
36.0ms	(* (- (* z y) (* t a)) x)
8.0ms	(- (* z y) (* t a))
0.0ms	(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (- (* z c) (* i a)) b)))

series1.0s

Counts

4 → 12

Calls

4 calls:

Slowest

774.0ms	(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (- (* z c) (* i a)) b)))
88.0ms	(* (- (* z y) (* t a)) x)
83.0ms	(- (* z y) (* t a))
70.0ms	(* (- (* z c) (* i a)) b)

simplify3.4s

Counts

37 → 86

Calls

37 calls:

Slowest

492.0ms	(* (* (* (- (* z c) (* i a)) (- (* z c) (* i a))) (- (* z c) (* i a))) (* (* b b) b))
480.0ms	(* (* (* (- (* z y) (* t a)) (- (* z y) (* t a))) (- (* z y) (* t a))) (* (* x x) x))
248.0ms	(- (* a (* i b)) (+ (* z (* b c)) (* a (* x t))))
236.0ms	(* (- (* (* z y) (* z y)) (* (* t a) (* t a))) x)
199.0ms	(- (* a (* i b)) (+ (* z (* b c)) (* a (* x t))))

prune1.9s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 6.1b

localize65.0ms

Local error

Found 4 expressions with local error:

4.6b	(fma j (- (* t c) (* y i)) (- (* (fma z y (- (* t a))) x) (* (- (* z c) (* i a)) b)))
4.0b	(* (fma z y (- (* t a))) x)
4.0b	(* (- (* z c) (* i a)) b)
0.3b	(fma z y (- (* t a)))

rewrite70.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt`
8×	`pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
6×	`associate-r` `associate-l`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`pow-prod-down` `associate-l/` `prod-exp` `-commutative` `cbrt-unprod` `fma-udef` `unswap-sqr`
1×	`flip3--` `flip--`

Counts

4 → 66

Calls

4 calls:

Slowest

56.0ms	(* (- (* z c) (* i a)) b)
11.0ms	(* (fma z y (- (* t a))) x)
1.0ms	(fma j (- (* t c) (* y i)) (- (* (fma z y (- (* t a))) x) (* (- (* z c) (* i a)) b)))
0.0ms	(fma z y (- (* t a)))

series1.2s

Counts

4 → 12

Calls

4 calls:

Slowest

887.0ms	(fma j (- (* t c) (* y i)) (- (* (fma z y (- (* t a))) x) (* (- (* z c) (* i a)) b)))
150.0ms	(* (fma z y (- (* t a))) x)
99.0ms	(* (- (* z c) (* i a)) b)
58.0ms	(fma z y (- (* t a)))

simplify3.2s

Counts

32 → 78

Calls

32 calls:

Slowest

608.0ms	(* (* (* (fma z y (- (* t a))) (fma z y (- (* t a)))) (fma z y (- (* t a)))) (* (* x x) x))
582.0ms	(* (* (* (- (* z c) (* i a)) (- (* z c) (* i a))) (- (* z c) (* i a))) (* (* b b) b))
299.0ms	(- (* a (* i b)) (+ (* z (* b c)) (* a (* x t))))
257.0ms	(- (* a (* i b)) (+ (* z (* b c)) (* a (* x t))))
257.0ms	(* (- (* (* z c) (* z c)) (* (* i a) (* i a))) b)

prune1.7s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 6.1b

localize77.0ms

Local error

Found 4 expressions with local error:

4.6b	(fma j (- (* t c) (* y i)) (- (* (fma z y (- (* t a))) x) (* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (cbrt b))))
4.0b	(* (fma z y (- (* t a))) x)
2.1b	(* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (cbrt b))
2.1b	(* (- (* z c) (* i a)) (* (cbrt b) (cbrt b)))

rewrite164.0ms

Algorithm

rewrite-expression-head

Rules

20×	`pow1` `add-exp-log`
13×	`add-cbrt-cube`
12×	`add-sqr-sqrt`
10×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
9×	`*-un-lft-identity` `add-cube-cbrt`
7×	`associate-l`
6×	`associate-*l/`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`cbrt-prod` `*-commutative`
2×	`flip3--` `flip--` `unswap-sqr`
1×	`fma-udef`

Counts

4 → 85

Calls

4 calls:

Slowest

118.0ms	(* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (cbrt b))
38.0ms	(* (- (* z c) (* i a)) (* (cbrt b) (cbrt b)))
6.0ms	(* (fma z y (- (* t a))) x)
0.0ms	(fma j (- (* t c) (* y i)) (- (* (fma z y (- (* t a))) x) (* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (cbrt b))))

series1.7s

Counts

4 → 12

Calls

4 calls:

Slowest

1.1s	(fma j (- (* t c) (* y i)) (- (* (fma z y (- (* t a))) x) (* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (cbrt b))))
327.0ms	(* (- (* z c) (* i a)) (* (cbrt b) (cbrt b)))
177.0ms	(* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (cbrt b))
95.0ms	(* (fma z y (- (* t a))) x)

simplify7.5s

Counts

52 → 97

Calls

52 calls:

Slowest

849.0ms	(* (* (* (fma z y (- (* t a))) (fma z y (- (* t a)))) (fma z y (- (* t a)))) (* (* x x) x))
585.0ms	(* (* (* (* (- (* z c) (* i a)) (- (* z c) (* i a))) (- (* z c) (* i a))) (* b b)) b)
513.0ms	(* (* (- (* (* z c) (* z c)) (* (* i a) (* i a))) (* (cbrt b) (cbrt b))) (cbrt b))
416.0ms	(* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (cbrt b))
406.0ms	(* (* (* (- (* z c) (* i a)) (- (* z c) (* i a))) (- (* z c) (* i a))) (* b b))

prune2.3s

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 6.1b

localize92.0ms

Local error

Found 4 expressions with local error:

4.6b	(fma j (- (* t c) (* y i)) (- (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x)) (* (- (* z c) (* i a)) b)))
4.0b	(* (- (* z c) (* i a)) b)
2.7b	(* (- (* z y) (* t a)) (* (cbrt x) (cbrt x)))
1.6b	(* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))

rewrite257.0ms

Algorithm

rewrite-expression-head

Rules

20×	`pow1` `add-exp-log`
13×	`add-cbrt-cube`
12×	`add-sqr-sqrt`
10×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
9×	`*-un-lft-identity` `add-cube-cbrt`
8×	`associate-*l/`
7×	`associate-l`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`cbrt-prod` `flip3--` `*-commutative` `flip--`
2×	`unswap-sqr`
1×	`fma-udef`

Counts

4 → 87

Calls

4 calls:

Slowest

123.0ms	(* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))
82.0ms	(* (- (* z y) (* t a)) (* (cbrt x) (cbrt x)))
49.0ms	(* (- (* z c) (* i a)) b)
1.0ms	(fma j (- (* t c) (* y i)) (- (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x)) (* (- (* z c) (* i a)) b)))

series1.6s

Counts

4 → 12

Calls

4 calls:

Slowest

920.0ms	(fma j (- (* t c) (* y i)) (- (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x)) (* (- (* z c) (* i a)) b)))
330.0ms	(* (- (* z y) (* t a)) (* (cbrt x) (cbrt x)))
188.0ms	(* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))
136.0ms	(* (- (* z c) (* i a)) b)

simplify7.8s

Counts

54 → 99

Calls

54 calls:

Slowest

658.0ms	(* (* (* (* (- (* z y) (* t a)) (- (* z y) (* t a))) (- (* z y) (* t a))) (* x x)) x)
538.0ms	(* (* (* (- (* z c) (* i a)) (- (* z c) (* i a))) (- (* z c) (* i a))) (* (* b b) b))
520.0ms	(* (* (- (* (* z y) (* z y)) (* (* t a) (* t a))) (* (cbrt x) (cbrt x))) (cbrt x))
389.0ms	(* (- (* (* z y) (* z y)) (* (* t a) (* t a))) (* (cbrt x) (cbrt x)))
378.0ms	(* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))

prune2.3s

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 6.1b

regimes2.0s

Accuracy

-28.2% (5.5b remaining)

Error of 12.9b against oracle of 7.4b and baseline of 11.7b

bsearch616.0ms

end0.0ms

sample6.7s

Algorithm

intervals

Results

5.6s

19227×

body

valid