Details

sample101.0ms

Algorithm

intervals

Results

75.0ms

490×

body

valid

simplify203.0ms

Calls

1 calls:

Slowest

202.0ms

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

prune43.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 4.2b

localize46.0ms

Local error

Found 4 expressions with local error:

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

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-sqr-sqrt` `pow1` `-un-lft-identity` `add-cbrt-cube` `associate-l` `add-exp-log` `-commutative` `add-cube-cbrt` `insert-posit16` `add-log-exp`

Calls

4 calls:

Slowest

16.0ms	(* (* (* (* x 18.0) y) z) t)
7.0ms	(* (* (* x 18.0) y) z)
3.0ms	(* (* j 27.0) k)
3.0ms	(* (* x 18.0) y)

series69.0ms

Calls

4 calls:

Slowest

28.0ms	(* (* (* (* x 18.0) y) z) t)
19.0ms	(* (* (* x 18.0) y) z)
11.0ms	(* (* x 18.0) y)
11.0ms	(* (* j 27.0) k)

simplify664.0ms

Calls

14 calls:

Slowest

223.0ms	(* 18.0 (* t (* x (* z y))))
213.0ms	(* 18.0 (* t (* x (* z y))))
59.0ms	(* 18.0 (* x (* z y)))
41.0ms	(* 18.0 (* x (* z y)))
25.0ms	(* 27.0 (* j k))

prune1.0s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.5b

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite228.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-log-exp`
6×	`pow1` `add-cbrt-cube` `add-exp-log`
4×	`add-sqr-sqrt` `*-un-lft-identity` `diff-log` `add-cube-cbrt` `insert-posit16`
3×	`associate-l` `*-commutative`
2×	`sum-log`
1×	`associate--l-` `sub-neg` `flip3--` `associate-r` `pow-prod-down` `prod-exp` `associate--l+` `associate-+l-` `cbrt-unprod` `flip--`

Calls

4 calls:

Slowest

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

series394.0ms

Calls

4 calls:

Slowest

333.0ms	(- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
29.0ms	(* (* (* x 18.0) y) (* z t))
17.0ms	(* (* j 27.0) k)
15.0ms	(* (* x 18.0) y)

simplify2.7s

Calls

21 calls:

Slowest

304.0ms	(- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t))
262.0ms	(- (+ (* 18.0 (* t (* x (* z y)))) (* b c)) (* 4.0 (* i x)))
252.0ms	(- (+ (* 18.0 (* t (* x (* z y)))) (* b c)) (* 4.0 (* i x)))
238.0ms	(/ (* (/ (exp (* (* (* x 18.0) y) (* z t))) (exp (* (* a 4.0) t))) (exp (* b c))) (exp (* (* x 4.0) i)))
236.0ms	(* (* (* x 18.0) y) (* z t))

prune1.2s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 4 expressions with local error:

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

rewrite229.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-log-exp`
6×	`pow1` `add-cbrt-cube` `add-exp-log`
4×	`add-sqr-sqrt` `*-un-lft-identity` `diff-log` `add-cube-cbrt` `insert-posit16`
3×	`*-commutative`
2×	`sum-log` `associate-r` `associate-l`
1×	`associate--l-` `sub-neg` `flip3--` `pow-prod-down` `prod-exp` `associate--l+` `associate-+l-` `cbrt-unprod` `flip--`

Calls

4 calls:

Slowest

216.0ms	(- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
9.0ms	(* (* (* x 18.0) y) (* z t))
3.0ms	(* (* x 18.0) y)
1.0ms	(* j (* 27.0 k))

series392.0ms

Calls

4 calls:

Slowest

332.0ms	(- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
33.0ms	(* (* (* x 18.0) y) (* z t))
16.0ms	(* j (* 27.0 k))
11.0ms	(* (* x 18.0) y)

simplify2.8s

Calls

21 calls:

Slowest

266.0ms	(- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t))
265.0ms	(- (+ (* 18.0 (* t (* x (* z y)))) (* b c)) (* 4.0 (* i x)))
264.0ms	(/ (* (/ (exp (* (* (* x 18.0) y) (* z t))) (exp (* (* a 4.0) t))) (exp (* b c))) (exp (* (* x 4.0) i)))
259.0ms	(- (+ (* 18.0 (* t (* x (* z y)))) (* b c)) (* 4.0 (* i x)))
240.0ms	(* (* (* x 18.0) y) (* z t))

prune1.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite228.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-log-exp`
6×	`pow1` `add-cbrt-cube` `add-exp-log`
4×	`add-sqr-sqrt` `*-un-lft-identity` `diff-log` `add-cube-cbrt` `insert-posit16`
3×	`*-commutative`
2×	`sum-log` `associate-r` `associate-l`
1×	`associate--l-` `sub-neg` `flip3--` `pow-prod-down` `prod-exp` `associate--l+` `associate-+l-` `cbrt-unprod` `flip--`

Calls

4 calls:

Slowest

203.0ms	(- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
16.0ms	(* (* (* x 18.0) y) (* z t))
5.0ms	(* (* x 18.0) y)
2.0ms	(* 27.0 (* j k))

series362.0ms

Calls

4 calls:

Slowest

308.0ms	(- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
28.0ms	(* (* (* x 18.0) y) (* z t))
14.0ms	(* 27.0 (* j k))
11.0ms	(* (* x 18.0) y)

simplify2.8s

Calls

21 calls:

Slowest

307.0ms	(- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t))
303.0ms	(- (+ (* 18.0 (* t (* x (* z y)))) (* b c)) (* 4.0 (* i x)))
277.0ms	(/ (* (/ (exp (* (* (* x 18.0) y) (* z t))) (exp (* (* a 4.0) t))) (exp (* b c))) (exp (* (* x 4.0) i)))
266.0ms	(- (+ (* 18.0 (* t (* x (* z y)))) (* b c)) (* 4.0 (* i x)))
254.0ms	(* (* (* x 18.0) y) (* z t))

prune1.0s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

regimes1.8s

Accuracy

62.5% (1.9b remaining)

Error of 2.3b against oracle of 0.4b and baseline of 5.5b

bsearch456.0ms

end0.0ms

sample5.0s

Algorithm

intervals

Results

4.1s

16052×

body

valid