Details

Time bar (total: 29.8s)

sample57.0ms

Algorithm
intervals
Results
32.0ms358×body80valid

simplify4.1s

Counts
1 → 1
Iterations
IterNodes
done5001
244881
234699
224472
214270
204070
193868
183646
173460
163233
153031
142826
132618
122415
112233
101991
91774
81492
71119
6768
5428
4213
3120
265
132
017

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
0.0b
(/ (* a b) 4.0)
0.0b
(+ (* x y) (/ (* z t) 16.0))
0.0b
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))

rewrite434.0ms

Algorithm
rewrite-expression-head
Rules
20×add-log-exp
13×*-un-lft-identity
9×add-cbrt-cube add-exp-log
8×add-sqr-sqrt
6×sum-log add-cube-cbrt
4×pow1 diff-log insert-posit16
3×associate-+l+ associate-/r* flip3-+ times-frac flip-+
2×cbrt-undiv +-commutative sub-neg div-exp associate--l+ frac-sub distribute-lft-out distribute-lft-out--
1×clear-num frac-2neg flip3-- prod-exp associate-+l- cbrt-unprod div-inv flip-- associate-/l* difference-of-squares
Counts
4 → 73
Calls
4 calls:
305.0ms
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
14.0ms
(/ (* a b) 4.0)
15.0ms
(+ (* x y) (/ (* z t) 16.0))
98.0ms
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))

series419.0ms

Counts
4 → 12
Calls
4 calls:
208.0ms
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
31.0ms
(/ (* a b) 4.0)
62.0ms
(+ (* x y) (/ (* z t) 16.0))
119.0ms
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))

simplify1.3s

Counts
85 → 85
Iterations
IterNodes
done5000
21422
1383
0145

prune454.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize83.0ms

Local error

Found 4 expressions with local error:

1.6b
(+ (* (+ (* (/ z 16.0) t) (* x y)) (+ (* (/ z 16.0) t) (* x y))) (* (/ a (/ 4.0 b)) (+ (+ (* (/ z 16.0) t) (* x y)) (/ a (/ 4.0 b)))))
4.0b
(- (* (+ (* (/ z 16.0) t) (* x y)) (* (+ (* (/ z 16.0) t) (* x y)) (+ (* (/ z 16.0) t) (* x y)))) (* (* (/ (* a b) 4.0) (/ (* a b) 4.0)) (/ (* a b) 4.0)))
5.2b
(* (/ a (/ 4.0 b)) (+ (+ (* (/ z 16.0) t) (* x y)) (/ a (/ 4.0 b))))
44.2b
(/ (- (* (+ (* (/ z 16.0) t) (* x y)) (* (+ (* (/ z 16.0) t) (* x y)) (+ (* (/ z 16.0) t) (* x y)))) (* (* (/ (* a b) 4.0) (/ (* a b) 4.0)) (/ (* a b) 4.0))) (+ (* (+ (* (/ z 16.0) t) (* x y)) (+ (* (/ z 16.0) t) (* x y))) (* (/ a (/ 4.0 b)) (+ (+ (* (/ z 16.0) t) (* x y)) (/ a (/ 4.0 b))))))

rewrite1.6s

Algorithm
rewrite-expression-head
Rules
792×frac-times
556×flip3-+ flip-+
456×associate-*r/
425×associate-*l/
364×frac-sub
212×frac-add
184×associate-/l/
81×times-frac
75×associate-/r/
58×add-sqr-sqrt
51×*-un-lft-identity
49×add-cube-cbrt
44×associate-*l*
15×add-cbrt-cube add-exp-log
8×add-log-exp
7×distribute-rgt-in distribute-lft-in
6×pow1
5×difference-cubes cube-unmult pow3 div-inv
4×cbrt-undiv div-exp associate-*r* associate--l+ insert-posit16 associate-/l*
3×associate-/r* prod-exp cbrt-unprod unswap-sqr
2×associate-+l+ associate-+r+ flip3-- flip--
1×+-commutative clear-num sum-log sub-neg frac-2neg diff-log div-sub pow-prod-down *-commutative distribute-lft-out
Counts
4 → 657
Calls
4 calls:
93.0ms
(+ (* (+ (* (/ z 16.0) t) (* x y)) (+ (* (/ z 16.0) t) (* x y))) (* (/ a (/ 4.0 b)) (+ (+ (* (/ z 16.0) t) (* x y)) (/ a (/ 4.0 b)))))
329.0ms
(- (* (+ (* (/ z 16.0) t) (* x y)) (* (+ (* (/ z 16.0) t) (* x y)) (+ (* (/ z 16.0) t) (* x y)))) (* (* (/ (* a b) 4.0) (/ (* a b) 4.0)) (/ (* a b) 4.0)))
283.0ms
(* (/ a (/ 4.0 b)) (+ (+ (* (/ z 16.0) t) (* x y)) (/ a (/ 4.0 b))))
779.0ms
(/ (- (* (+ (* (/ z 16.0) t) (* x y)) (* (+ (* (/ z 16.0) t) (* x y)) (+ (* (/ z 16.0) t) (* x y)))) (* (* (/ (* a b) 4.0) (/ (* a b) 4.0)) (/ (* a b) 4.0))) (+ (* (+ (* (/ z 16.0) t) (* x y)) (+ (* (/ z 16.0) t) (* x y))) (* (/ a (/ 4.0 b)) (+ (+ (* (/ z 16.0) t) (* x y)) (/ a (/ 4.0 b))))))

series6.2s

Counts
4 → 12
Calls
4 calls:
1.2s
(+ (* (+ (* (/ z 16.0) t) (* x y)) (+ (* (/ z 16.0) t) (* x y))) (* (/ a (/ 4.0 b)) (+ (+ (* (/ z 16.0) t) (* x y)) (/ a (/ 4.0 b)))))
4.2s
(- (* (+ (* (/ z 16.0) t) (* x y)) (* (+ (* (/ z 16.0) t) (* x y)) (+ (* (/ z 16.0) t) (* x y)))) (* (* (/ (* a b) 4.0) (/ (* a b) 4.0)) (/ (* a b) 4.0)))
156.0ms
(* (/ a (/ 4.0 b)) (+ (+ (* (/ z 16.0) t) (* x y)) (/ a (/ 4.0 b))))
625.0ms
(/ (- (* (+ (* (/ z 16.0) t) (* x y)) (* (+ (* (/ z 16.0) t) (* x y)) (+ (* (/ z 16.0) t) (* x y)))) (* (* (/ (* a b) 4.0) (/ (* a b) 4.0)) (/ (* a b) 4.0))) (+ (* (+ (* (/ z 16.0) t) (* x y)) (+ (* (/ z 16.0) t) (* x y))) (* (/ a (/ 4.0 b)) (+ (+ (* (/ z 16.0) t) (* x y)) (/ a (/ 4.0 b))))))

simplify4.3s

Counts
669 → 669
Iterations
IterNodes
done5000
14013
01181

prune7.5s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes1.1s

Accuracy

0% (0.0b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 0.1b

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
done22
122
017

end0.0ms

sample2.4s

Algorithm
intervals
Results
1.7s11950×body80valid