Details

sample143.0ms

Algorithm

intervals

Results

110.0ms

620×

body

valid

simplify693.0ms

Calls

1 calls:

Slowest

693.0ms

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

prune17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.6b

localize43.0ms

Local error

Found 4 expressions with local error:

5.8b	(* (- (* z c) (* i a)) b)
3.4b	(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (- (* z c) (* i a)) b)))
3.2b	(* (- (* z y) (* t a)) x)
0.3b	(- (* t c) (* y i))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

4 calls:

Slowest

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

series1.0s

Calls

4 calls:

Slowest

797.0ms	(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (- (* z c) (* i a)) b)))
89.0ms	(* (- (* z c) (* i a)) b)
71.0ms	(* (- (* z y) (* t a)) x)
63.0ms	(- (* t c) (* y i))

simplify1.8s

Calls

23 calls:

Slowest

252.0ms	(- (* a (* i b)) (+ (* z (* b c)) (* a (* x t))))
250.0ms	(* (- (pow (* z c) 3) (pow (* i a) 3)) b)
225.0ms	(* (- (pow (* z y) 3) (pow (* t a) 3)) x)
203.0ms	(* (- (* (* z c) (* z c)) (* (* i a) (* i a))) b)
174.0ms	(- (* a (* i b)) (+ (* z (* b c)) (* a (* x t))))

prune1.2s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 6.6b

localize27.0ms

Local error

Found 4 expressions with local error:

5.8b	(* (- (* z c) (* i a)) b)
4.8b	(cbrt (- (* z y) (* t a)))
4.8b	(cbrt (- (* z y) (* t a)))
4.8b	(cbrt (- (* z y) (* t a)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

9×	`cbrt-prod`
8×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`cbrt-div`
4×	`expm1-log1p-u` `pow1` `flip3--` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u` `flip--` `add-log-exp`
3×	`pow1/3` `associate-l`
2×	`associate-*l/`
1×	`*-commutative`

Calls

4 calls:

Slowest

9.0ms	(* (- (* z c) (* i a)) b)
3.0ms	(cbrt (- (* z y) (* t a)))
3.0ms	(cbrt (- (* z y) (* t a)))
3.0ms	(cbrt (- (* z y) (* t a)))

series598.0ms

Calls

4 calls:

Slowest

181.0ms	(cbrt (- (* z y) (* t a)))
166.0ms	(cbrt (- (* z y) (* t a)))
145.0ms	(cbrt (- (* z y) (* t a)))
106.0ms	(* (- (* z c) (* i a)) b)

simplify4.6s

Calls

31 calls:

Slowest

369.0ms	(cbrt (- (pow (* z y) 3) (pow (* t a) 3)))
351.0ms	(cbrt (- (pow (* z y) 3) (pow (* t a) 3)))
327.0ms	(- (exp (* 1/3 (+ (log t) (+ (log a) (log -1))))) (* 1/3 (* z (* y (exp (* 1/3 (- (log -1) (+ (* 2 (log t)) (* 2 (log a))))))))))
323.0ms	(cbrt (- (pow (* z y) 3) (pow (* t a) 3)))
282.0ms	(- (exp (* 1/3 (+ (log t) (+ (log a) (log -1))))) (* 1/3 (* z (* y (exp (* 1/3 (- (log -1) (+ (* 2 (log t)) (* 2 (log a))))))))))

prune1.7s

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 6.6b

localize20.0ms

Local error

Found 4 expressions with local error:

7.0b	(cbrt (- (* z c) (* i a)))
7.0b	(cbrt (- (* z c) (* i a)))
7.0b	(cbrt (- (* z c) (* i a)))
3.4b	(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (* (cbrt (- (* z c) (* i a))) (cbrt (- (* z c) (* i a)))) (* (cbrt (- (* z c) (* i a))) b))))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

9×	`cbrt-prod`
7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`cbrt-div`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`flip3--` `pow1/3` `flip--`
1×	`fma-udef`

Calls

4 calls:

Slowest

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

series1.4s

Calls

4 calls:

Slowest

838.0ms	(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (* (cbrt (- (* z c) (* i a))) (cbrt (- (* z c) (* i a)))) (* (cbrt (- (* z c) (* i a))) b))))
181.0ms	(cbrt (- (* z c) (* i a)))
173.0ms	(cbrt (- (* z c) (* i a)))
159.0ms	(cbrt (- (* z c) (* i a)))

simplify4.8s

Calls

27 calls:

Slowest

450.0ms	(cbrt (- (pow (* z c) 3) (pow (* i a) 3)))
437.0ms	(cbrt (- (pow (* z c) 3) (pow (* i a) 3)))
405.0ms	(cbrt (- (pow (* z c) 3) (pow (* i a) 3)))
367.0ms	(- (exp (* 1/3 (+ (log a) (+ (log -1) (log i))))) (* 1/3 (* z (* (exp (* 1/3 (- (log -1) (+ (* 2 (log a)) (* 2 (log i)))))) c))))
324.0ms	(- (exp (* 1/3 (+ (log a) (+ (log -1) (log i))))) (* 1/3 (* z (* (exp (* 1/3 (- (log -1) (+ (* 2 (log a)) (* 2 (log i)))))) c))))

prune1.4s

Pruning

18 alts after pruning (16 fresh and 2 done)

Merged error: 6.6b

localize20.0ms

Local error

Found 4 expressions with local error:

5.8b	(* (- (* z c) (* i a)) b)
5.8b	(* (- (* z c) (* i a)) b)
5.8b	(* (- (* z c) (* i a)) b)
3.4b	(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (- (* z c) (* i a)) b)))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

9×	`associate-l`
7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`associate-*l/`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`flip3--` `*-commutative` `flip--`
1×	`fma-udef`

Calls

4 calls:

Slowest

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

series1.1s

Calls

4 calls:

Slowest

796.0ms	(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (- (* z c) (* i a)) b)))
113.0ms	(* (- (* z c) (* i a)) b)
112.0ms	(* (- (* z c) (* i a)) b)
88.0ms	(* (- (* z c) (* i a)) b)

simplify2.4s

Calls

24 calls:

Slowest

280.0ms	(- (* a (* i b)) (+ (* z (* b c)) (* a (* x t))))
246.0ms	(* (- (pow (* z c) 3) (pow (* i a) 3)) b)
221.0ms	(* (- (pow (* z c) 3) (pow (* i a) 3)) b)
211.0ms	(* (- (pow (* z c) 3) (pow (* i a) 3)) b)
204.0ms	(- (* a (* i b)) (+ (* z (* b c)) (* a (* x t))))

prune1.5s

Pruning

18 alts after pruning (15 fresh and 3 done)

Merged error: 6.6b

regimes1.9s

Accuracy

1.1% (4.8b remaining)

Error of 12.0b against oracle of 7.2b and baseline of 12.1b

bsearch615.0ms

end0.0ms

sample5.9s

Algorithm

intervals

Results

4.9s

19336×

body

valid