Details

sample247.0ms

Algorithm

intervals

Results

189.0ms

627×

body

valid

simplify318.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

318.0ms

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

prune27.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.0b

localize85.0ms

Local error

Found 4 expressions with local error:

6.5b	(* (- (* z y) (* t a)) x)
5.0b	(* (- (* z c) (* i a)) b)
4.4b	(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (- (* z c) (* i a)) b)))
0.3b	(- (* t c) (* y i))

rewrite104.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

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

series1.8s

Counts

4 → 12

Calls

4 calls:

Slowest

970.0ms	(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (- (* z c) (* i a)) b)))
593.0ms	(- (* t c) (* y i))
111.0ms	(* (- (* z c) (* i a)) b)
81.0ms	(* (- (* z y) (* t a)) x)

simplify4.0s

Counts

37 → 86

Calls

37 calls:

Slowest

627.0ms	(* (* (* (- (* z y) (* t a)) (- (* z y) (* t a))) (- (* z y) (* t a))) (* (* x x) x))
615.0ms	(* (* (* (- (* z c) (* i a)) (- (* z c) (* i a))) (- (* z c) (* i a))) (* (* b b) b))
308.0ms	(* (- (* (* z c) (* z c)) (* (* i a) (* i a))) b)
289.0ms	(- (* a (* i b)) (+ (* z (* b c)) (* a (* x t))))
264.0ms	(* (- (* (* z y) (* z y)) (* (* t a) (* t a))) x)

prune1.9s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 6.0b

localize91.0ms

Local error

Found 4 expressions with local error:

6.5b	(* (- (* z y) (* t a)) x)
5.0b	(* (- (* z c) (* i a)) b)
4.4b	(fma j (fma t c (- (* y i))) (- (* (- (* z y) (* t a)) x) (* (- (* z c) (* i a)) b)))
0.3b	(fma t c (- (* y i)))

rewrite95.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` `associate-*l/` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`flip3--` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `fma-udef` `flip--` `unswap-sqr`

Counts

4 → 68

Calls

4 calls:

Slowest

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

series1.3s

Counts

4 → 12

Calls

4 calls:

Slowest

956.0ms	(fma j (fma t c (- (* y i))) (- (* (- (* z y) (* t a)) x) (* (- (* z c) (* i a)) b)))
137.0ms	(* (- (* z y) (* t a)) x)
119.0ms	(* (- (* z c) (* i a)) b)
86.0ms	(fma t c (- (* y i)))

simplify3.5s

Counts

34 → 80

Calls

34 calls:

Slowest

570.0ms	(* (* (* (- (* z y) (* t a)) (- (* z y) (* t a))) (- (* z y) (* t a))) (* (* x x) x))
520.0ms	(* (* (* (- (* z c) (* i a)) (- (* z c) (* i a))) (- (* z c) (* i a))) (* (* b b) b))
293.0ms	(* (- (* (* z c) (* z c)) (* (* i a) (* i a))) b)
273.0ms	(* (- (* (* z y) (* z y)) (* (* t a) (* t a))) x)
268.0ms	(- (* a (* i b)) (+ (* z (* b c)) (* a (* x t))))

prune1.7s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 6.0b

localize111.0ms

Local error

Found 4 expressions with local error:

6.5b	(* (- (* z y) (* t a)) x)
6.5b	(* (- (* z y) (* t a)) x)
6.5b	(* (- (* z y) (* t a)) x)
6.2b	(cbrt (* (- (* z y) (* t a)) x))

rewrite145.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 83

Calls

4 calls:

Slowest

53.0ms	(* (- (* z y) (* t a)) x)
44.0ms	(* (- (* z y) (* t a)) x)
26.0ms	(* (- (* z y) (* t a)) x)
20.0ms	(cbrt (* (- (* z y) (* t a)) x))

series674.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

323.0ms	(cbrt (* (- (* z y) (* t a)) x))
135.0ms	(* (- (* z y) (* t a)) x)
114.0ms	(* (- (* z y) (* t a)) x)
103.0ms	(* (- (* z y) (* t a)) x)

simplify5.9s

Counts

48 → 95

Calls

48 calls:

Slowest

579.0ms	(* (* (* (- (* z y) (* t a)) (- (* z y) (* t a))) (- (* z y) (* t a))) (* (* x x) x))
578.0ms	(* (* (* (- (* z y) (* t a)) (- (* z y) (* t a))) (- (* z y) (* t a))) (* (* x x) x))
496.0ms	(* (* (* (- (* z y) (* t a)) (- (* z y) (* t a))) (- (* z y) (* t a))) (* (* x x) x))
441.0ms	(* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 x)) (+ (log (/ -1 z)) (log (/ -1 y)))))))
290.0ms	(exp (* -1/3 (+ (log (/ 1 z)) (+ (log (/ 1 x)) (log (/ 1 y))))))

prune2.6s

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 6.0b

localize109.0ms

Local error

Found 4 expressions with local error:

7.8b	(cbrt (- (* z y) (* t a)))
6.5b	(* (- (* z y) (* t a)) x)
6.5b	(* (- (* z y) (* t a)) x)
6.2b	(cbrt (* (- (* z y) (* t a)) x))

rewrite112.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 76

Calls

4 calls:

Slowest

51.0ms	(* (- (* z y) (* t a)) x)
32.0ms	(* (- (* z y) (* t a)) x)
21.0ms	(cbrt (* (- (* z y) (* t a)) x))
5.0ms	(cbrt (- (* z y) (* t a)))

series766.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

330.0ms	(cbrt (* (- (* z y) (* t a)) x))
201.0ms	(cbrt (- (* z y) (* t a)))
121.0ms	(* (- (* z y) (* t a)) x)
114.0ms	(* (- (* z y) (* t a)) x)

simplify6.0s

Counts

42 → 88

Calls

42 calls:

Slowest

584.0ms	(* (* (* (- (* z y) (* t a)) (- (* z y) (* t a))) (- (* z y) (* t a))) (* (* x x) x))
505.0ms	(* (* (* (- (* z y) (* t a)) (- (* z y) (* t a))) (- (* z y) (* t a))) (* (* x x) x))
424.0ms	(cbrt (- (pow (* z y) 3) (pow (* t a) 3)))
421.0ms	(* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 x)) (+ (log (/ -1 z)) (log (/ -1 y)))))))
361.0ms	(exp (* -1/3 (+ (log (/ -1 z)) (log (/ -1 y)))))

prune2.5s

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 6.0b

regimes2.2s

Accuracy

0% (5.1b remaining)

Error of 11.9b against oracle of 6.8b and baseline of 11.9b

bsearch8.0ms

end0.0ms

sample6.6s

Algorithm

intervals

Results

5.1s

18930×

body

valid