Details

Time bar (total: 35.2s)

sample40.0ms

Algorithm
intervals
Results
27.0ms322×body80valid

simplify67.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
67.0ms
(fabs (- (/ (+ x 4) y) (* (/ x y) z)))

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.1b

localize24.0ms

Local error

Found 3 expressions with local error:

3.4b
(* (/ x y) z)
0.0b
(- (/ (+ x 4) y) (* (/ x y) z))
0.0b
(/ (+ x 4) y)

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
28×*-un-lft-identity
25×add-sqr-sqrt
22×times-frac
20×add-cube-cbrt
13×associate-*l*
10×add-cbrt-cube add-exp-log
5×pow1 add-log-exp
4×distribute-lft-out associate-/l*
3×associate-/r* associate-*r* associate-*l/ insert-posit16
2×cbrt-undiv div-exp prod-exp cbrt-unprod div-inv unswap-sqr associate-/l/
1×clear-num sub-neg frac-2neg flip3-+ flip3-- diff-log pow-prod-down *-commutative frac-sub flip-+ flip-- sub-div
Counts
3 → 82
Calls
3 calls:
Slowest
33.0ms
(- (/ (+ x 4) y) (* (/ x y) z))
13.0ms
(/ (+ x 4) y)
12.0ms
(* (/ x y) z)

series136.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
66.0ms
(- (/ (+ x 4) y) (* (/ x y) z))
40.0ms
(/ (+ x 4) y)
30.0ms
(* (/ x y) z)

simplify1.8s

Counts
68 → 91
Calls
68 calls:
Slowest
214.0ms
(/ (* (* (+ x 4) (+ x 4)) (+ x 4)) (* (* y y) y))
210.0ms
(* (* (* (/ x y) (/ x y)) (/ x y)) (* (* z z) z))
151.0ms
(/ (exp (/ (+ x 4) y)) (exp (* (/ x y) z)))
119.0ms
(- (* (+ x 4) y) (* y (* x z)))
115.0ms
(- (+ (/ x y) (* 4 (/ 1 y))) (/ (* x z) y))

prune750.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize13.0ms

Local error

Found 2 expressions with local error:

2.9b
(/ (- (+ x 4) (* x z)) y)
0.0b
(- (+ x 4) (* x z))

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
7×add-log-exp
4×add-cbrt-cube add-exp-log
3×associate-/r* associate-/l*
2×pow1 flip3-- diff-log insert-posit16 flip-- associate-/l/
1×cbrt-undiv clear-num sum-log sub-neg frac-2neg div-sub div-exp associate--l+ div-inv
Counts
2 → 46
Calls
2 calls:
Slowest
48.0ms
(/ (- (+ x 4) (* x z)) y)
24.0ms
(- (+ x 4) (* x z))

series87.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
54.0ms
(/ (- (+ x 4) (* x z)) y)
33.0ms
(- (+ x 4) (* x z))

simplify2.7s

Counts
35 → 52
Calls
35 calls:
Slowest
329.0ms
(- (pow (+ x 4) 3) (pow (* x z) 3))
205.0ms
(- (* (+ x 4) (+ x 4)) (* (* x z) (* x z)))
152.0ms
(/ (* (* (- (+ x 4) (* x z)) (- (+ x 4) (* x z))) (- (+ x 4) (* x z))) (* (* y y) y))
118.0ms
(- (+ (/ x y) (* 4 (/ 1 y))) (/ (* x z) y))
112.0ms
(/ (exp (+ x 4)) (exp (* x z)))

prune396.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize16.0ms

Local error

Found 3 expressions with local error:

2.9b
(/ y (- (+ x 4) (* x z)))
0.1b
(/ 1 (/ y (- (+ x 4) (* x z))))
0.0b
(- (+ x 4) (* x z))

rewrite79.0ms

Algorithm
rewrite-expression-head
Rules
90×times-frac
55×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
18×associate-/r*
16×add-exp-log
11×associate-/r/
10×add-cbrt-cube
8×div-exp add-log-exp
6×flip3-- div-inv flip-- associate-/l*
4×pow1 cbrt-undiv
3×insert-posit16
2×rec-exp clear-num frac-2neg diff-log 1-exp
1×sum-log sub-neg associate--l+ pow-flip inv-pow
Counts
3 → 130
Calls
3 calls:
Slowest
31.0ms
(/ 1 (/ y (- (+ x 4) (* x z))))
24.0ms
(- (+ x 4) (* x z))
22.0ms
(/ y (- (+ x 4) (* x z)))

series133.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
63.0ms
(/ y (- (+ x 4) (* x z)))
45.0ms
(/ 1 (/ y (- (+ x 4) (* x z))))
25.0ms
(- (+ x 4) (* x z))

simplify19.1s

Counts
153 → 139
Calls
153 calls:
Slowest
715.0ms
(/ (sqrt 1) (/ y (- (* (+ x 4) (+ x 4)) (* (* x z) (* x z)))))
571.0ms
(/ (* (cbrt 1) (cbrt 1)) (/ y (- (* (+ x 4) (+ x 4)) (* (* x z) (* x z)))))
550.0ms
(/ 1 (/ y (- (* (+ x 4) (+ x 4)) (* (* x z) (* x z)))))
431.0ms
(/ (* (* 1 1) 1) (* (* (/ y (- (+ x 4) (* x z))) (/ y (- (+ x 4) (* x z)))) (/ y (- (+ x 4) (* x z)))))
352.0ms
(/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (* (cbrt (- (+ x 4) (* x z))) (cbrt (- (+ x 4) (* x z))))))

prune1.4s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

6.4b
(* x (* (/ 1 y) z))
0.2b
(* (/ 1 y) z)
0.0b
(- (/ (+ x 4) y) (* x (* (/ 1 y) z)))
0.0b
(/ (+ x 4) y)

rewrite117.0ms

Algorithm
rewrite-expression-head
Rules
31×*-un-lft-identity
30×add-exp-log
29×add-sqr-sqrt
23×times-frac
22×add-cube-cbrt
20×add-cbrt-cube
16×associate-*l*
13×prod-exp
11×pow1
7×cbrt-unprod
6×add-log-exp
5×div-exp
4×associate-*r* pow-prod-down associate-*l/ insert-posit16 distribute-lft-out associate-/l*
3×cbrt-undiv associate-/r* associate-*r/ unswap-sqr
2×rec-exp 1-exp *-commutative div-inv associate-/l/
1×clear-num sub-neg frac-2neg flip3-+ flip3-- diff-log frac-sub flip-+ flip-- sub-div
Counts
4 → 109
Calls
4 calls:
Slowest
45.0ms
(- (/ (+ x 4) y) (* x (* (/ 1 y) z)))
28.0ms
(* x (* (/ 1 y) z))
24.0ms
(* (/ 1 y) z)
16.0ms
(/ (+ x 4) y)

series148.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
52.0ms
(- (/ (+ x 4) y) (* x (* (/ 1 y) z)))
47.0ms
(/ (+ x 4) y)
40.0ms
(* x (* (/ 1 y) z))
10.0ms
(* (/ 1 y) z)

simplify4.9s

Counts
87 → 121
Calls
87 calls:
Slowest
609.0ms
(* (* (* x x) x) (* (* (* (/ 1 y) (/ 1 y)) (/ 1 y)) (* (* z z) z)))
496.0ms
(- (+ (/ x y) (* 4 (/ 1 y))) (/ (* x z) y))
417.0ms
(* (* (* (/ 1 y) (/ 1 y)) (/ 1 y)) (* (* z z) z))
350.0ms
(* (/ (* (* 1 1) 1) (* (* y y) y)) (* (* z z) z))
250.0ms
(/ (* (* (+ x 4) (+ x 4)) (+ x 4)) (* (* y y) y))

prune1.3s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes163.0ms

Accuracy

89.7% (0.3b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 2.9b

bsearch207.0ms

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.2s10070×body80valid