Details

sample126.0ms

Algorithm

intervals

Results

97.0ms

544×

body

valid

simplify246.0ms

Calls

1 calls:

Slowest

246.0ms

(- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))

prune31.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 3.2b

localize59.0ms

Local error

Found 4 expressions with local error:

4.7b	(* (* (* (* x 18.0) y) z) t)
3.8b	(* (* (* x 18.0) y) z)
0.2b	(* (* x 18.0) y)
0.2b	(* (* j 27.0) k)

rewrite557.0ms

Algorithm

rewrite-expression-head

Rules

137×	`associate-l`
86×	`add-sqr-sqrt`
38×	`unswap-sqr`
37×	`pow1` `add-cbrt-cube` `add-exp-log`
33×	`associate-r`
26×	`*-un-lft-identity` `add-cube-cbrt`
22×	`pow-prod-down` `prod-exp` `cbrt-unprod`
11×	`*-commutative`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`

Calls

4 calls:

Slowest

394.0ms	(* (* (* (* x 18.0) y) z) t)
96.0ms	(* (* (* x 18.0) y) z)
39.0ms	(* (* j 27.0) k)
22.0ms	(* (* x 18.0) y)

series184.0ms

Calls

4 calls:

Slowest

82.0ms	(* (* (* (* x 18.0) y) z) t)
37.0ms	(* (* x 18.0) y)
33.0ms	(* (* (* x 18.0) y) z)
32.0ms	(* (* j 27.0) k)

simplify10.9s

Calls

132 calls:

Slowest

570.0ms	(* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
525.0ms	(* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y))
520.0ms	(* (* (* (* j 27.0) (* j 27.0)) (* j 27.0)) (* (* k k) k))
482.0ms	(* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y))
445.0ms	(* (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))

prune4.3s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.2b

localize19.0ms

Local error

Found 4 expressions with local error:

5.8b	(* y (* (* (* x 18.0) z) t))
4.1b	(* (* (* x 18.0) z) t)
0.2b	(* (* j 27.0) k)
0.2b	(* (* x 18.0) z)

rewrite405.0ms

Algorithm

rewrite-expression-head

Rules

107×	`associate-l`
86×	`add-sqr-sqrt`
63×	`associate-r`
38×	`unswap-sqr`
37×	`pow1` `add-cbrt-cube` `add-exp-log`
26×	`*-un-lft-identity` `add-cube-cbrt`
22×	`pow-prod-down` `prod-exp` `cbrt-unprod`
11×	`*-commutative`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`

Calls

4 calls:

Slowest

273.0ms	(* y (* (* (* x 18.0) z) t))
74.0ms	(* (* (* x 18.0) z) t)
30.0ms	(* (* j 27.0) k)
22.0ms	(* (* x 18.0) z)

series183.0ms

Calls

4 calls:

Slowest

76.0ms	(* y (* (* (* x 18.0) z) t))
39.0ms	(* (* (* x 18.0) z) t)
35.0ms	(* (* j 27.0) k)
32.0ms	(* (* x 18.0) z)

simplify11.0s

Calls

138 calls:

Slowest

521.0ms	(* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* z z) z))
512.0ms	(* (* (* (* j 27.0) (* j 27.0)) (* j 27.0)) (* (* k k) k))
420.0ms	(* (* (* (* j j) j) (* (* 27.0 27.0) 27.0)) (* (* k k) k))
412.0ms	(* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* z z) z))
402.0ms	(* (sqrt y) (* (* (* (sqrt x) (sqrt 18.0)) (sqrt z)) (sqrt t)))

prune4.4s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 4 expressions with local error:

5.9b	(* (* y 18.0) (* (* x z) t))
4.1b	(* (* x z) t)
0.2b	(* (* j 27.0) k)
0.0b	(- (+ (- (* (* y 18.0) (* (* x z) t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))

rewrite11.4s

Algorithm

rewrite-expression-head

Rules

2999×	`associate-l`
2155×	`*-un-lft-identity`
1770×	`add-sqr-sqrt`
1496×	`prod-diff`
1133×	`associate-r`
994×	`associate--l+`
992×	`associate-+l+`
743×	`unswap-sqr`
581×	`add-cube-cbrt`
531×	`distribute-lft-out--`
520×	`distribute-lft-out`
232×	`*-commutative`
35×	`pow1` `add-cbrt-cube` `add-exp-log`
23×	`fma-neg`
21×	`pow-prod-down` `prod-exp` `cbrt-unprod`
13×	`add-log-exp`
4×	`expm1-log1p-u` `diff-log` `insert-posit16` `log1p-expm1-u`
3×	`difference-of-squares`
2×	`sum-log` `sub-neg`
1×	`associate--l-` `+-commutative` `flip3--` `associate-+l-` `flip--`

Calls

4 calls:

Slowest

11.1s	(- (+ (- (* (* y 18.0) (* (* x z) t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
120.0ms	(* (* y 18.0) (* (* x z) t))
30.0ms	(* (* j 27.0) k)
21.0ms	(* (* x z) t)

series684.0ms

Calls

4 calls:

Slowest

556.0ms	(- (+ (- (* (* y 18.0) (* (* x z) t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
65.0ms	(* (* y 18.0) (* (* x z) t))
34.0ms	(* (* x z) t)
29.0ms	(* (* j 27.0) k)

simplify7.1m

Calls

2191 calls:

Slowest

1.1s	(fma (* (sqrt (* y 18.0)) (* (* (sqrt x) (sqrt z)) (sqrt t))) (* (sqrt (* y 18.0)) (* (* (sqrt x) (sqrt z)) (sqrt t))) (- (* t (* (* a 4.0) 1))))
838.0ms	(fma (- (* (* (sqrt x) (sqrt 4.0)) (sqrt i))) (* (* (sqrt x) (sqrt 4.0)) (sqrt i)) (* (* (* (sqrt x) (sqrt 4.0)) (sqrt i)) (* (* (sqrt x) (sqrt 4.0)) (sqrt i))))
774.0ms	(* (* (* (* y 18.0) (* y 18.0)) (* y 18.0)) (* (* (* (* x z) t) (* (* x z) t)) (* (* x z) t)))
746.0ms	(fma (* y 18.0) (* (* x z) t) (- (* (* a t) 4.0)))
720.0ms	(fma (* (* y 18.0) (* (cbrt (* (* x z) t)) (cbrt (* (* x z) t)))) (cbrt (* (* x z) t)) (- (* (sqrt t) (* (* a 4.0) (sqrt t)))))

prune28.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 4 expressions with local error:

5.9b	(* (* y 18.0) (* (* x z) t))
4.1b	(* (* x z) t)
0.3b	(* 27.0 (* j k))
0.0b	(- (+ (- (* (* y 18.0) (* (* x z) t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))

rewrite7.4s

Algorithm

rewrite-expression-head

Rules

2990×	`associate-l`
2155×	`*-un-lft-identity`
1770×	`add-sqr-sqrt`
1496×	`prod-diff`
1142×	`associate-r`
994×	`associate--l+`
992×	`associate-+l+`
743×	`unswap-sqr`
581×	`add-cube-cbrt`
531×	`distribute-lft-out--`
520×	`distribute-lft-out`
232×	`*-commutative`
35×	`pow1` `add-cbrt-cube` `add-exp-log`
23×	`fma-neg`
21×	`pow-prod-down` `prod-exp` `cbrt-unprod`
13×	`add-log-exp`
4×	`expm1-log1p-u` `diff-log` `insert-posit16` `log1p-expm1-u`
3×	`difference-of-squares`
2×	`sum-log` `sub-neg`
1×	`associate--l-` `+-commutative` `flip3--` `associate-+l-` `flip--`

Calls

4 calls:

Slowest

7.2s	(- (+ (- (* (* y 18.0) (* (* x z) t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
77.0ms	(* (* y 18.0) (* (* x z) t))
20.0ms	(* (* x z) t)
19.0ms	(* 27.0 (* j k))

series503.0ms

Calls

4 calls:

Slowest

403.0ms	(- (+ (- (* (* y 18.0) (* (* x z) t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
48.0ms	(* (* y 18.0) (* (* x z) t))
27.0ms	(* (* x z) t)
24.0ms	(* 27.0 (* j k))