Details

Time bar (total: 1.1m)

sample63.0ms

Algorithm
intervals
Results
34.0ms256×body80valid
13.0ms256×pre80true

simplify386.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
386.0ms
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 20.3b

localize36.0ms

Local error

Found 2 expressions with local error:

20.3b
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))
0.0b
(+ (* x x) (* y y))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
8×associate-/l/
7×add-cbrt-cube add-exp-log
5×flip3-+ flip-+
4×add-sqr-sqrt frac-times *-un-lft-identity add-cube-cbrt add-log-exp
3×associate-/r* times-frac flip3-- flip--
2×pow1 cbrt-undiv div-exp associate-*l/ associate-*r/ associate-/r/ insert-posit16
1×+-commutative clear-num sum-log frac-2neg prod-exp cbrt-unprod div-inv associate-/l*
Counts
2 → 44
Calls
2 calls:
Slowest
44.0ms
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))
14.0ms
(+ (* x x) (* y y))

series164.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
115.0ms
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))
49.0ms
(+ (* x x) (* y y))

simplify3.4s

Counts
31 → 50
Calls
31 calls:
Slowest
629.0ms
(/ (* (* (* (- x y) (+ x y)) (* (- x y) (+ x y))) (* (- x y) (+ x y))) (* (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (+ (* x x) (* y y))))
404.0ms
(/ (* (* (* (- x y) (- x y)) (- x y)) (* (* (+ x y) (+ x y)) (+ x y))) (* (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (+ (* x x) (* y y))))
366.0ms
(* (- (pow x 3) (pow y 3)) (- (* x x) (* y y)))
283.0ms
(+ (* (* x x) (* x x)) (- (* (* y y) (* y y)) (* (* x x) (* y y))))
221.0ms
(- (log (* (- x y) (+ x y))) (log (+ (* x x) (* y y))))

prune452.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 1.4b

localize24.0ms

Local error

Found 4 expressions with local error:

20.3b
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))
0.0b
(log (exp (/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))))
0.0b
(exp (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))))
0.0b
(+ (* x x) (* y y))

rewrite106.0ms

Algorithm
rewrite-expression-head
Rules
18×exp-prod
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
10×log-pow
9×times-frac add-cbrt-cube add-exp-log
8×associate-/l/
7×flip3-+ flip-+ add-log-exp
6×associate-/r/
5×pow1
4×frac-times insert-posit16
3×log-prod associate-/r* flip3-- div-inv flip--
2×cbrt-undiv div-exp associate-*l/ associate-*r/
1×+-commutative clear-num sum-log frac-2neg rem-log-exp prod-exp cbrt-unprod associate-/l* rem-exp-log
Counts
4 → 84
Calls
4 calls:
Slowest
45.0ms
(log (exp (/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))))
29.0ms
(exp (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))))
24.0ms
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))
7.0ms
(+ (* x x) (* y y))

series304.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
89.0ms
(exp (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))))
89.0ms
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))
83.0ms
(log (exp (/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))))
43.0ms
(+ (* x x) (* y y))

simplify7.1s

Counts
60 → 96
Calls
60 calls:
Slowest
518.0ms
(/ (* (* (* (- x y) (+ x y)) (* (- x y) (+ x y))) (* (- x y) (+ x y))) (* (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (+ (* x x) (* y y))))
428.0ms
(/ (* (* (* (- x y) (- x y)) (- x y)) (* (* (+ x y) (+ x y)) (+ x y))) (* (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (+ (* x x) (* y y))))
428.0ms
(* (- (pow x 3) (pow y 3)) (- (* x x) (* y y)))
368.0ms
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))
323.0ms
(cbrt (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))))

prune996.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 1.4b

localize27.0ms

Local error

Found 4 expressions with local error:

19.7b
(/ (+ (* x x) (* y y)) (+ x y))
0.0b
(log (exp (/ (- x y) (/ (+ (* x x) (* y y)) (+ x y)))))
0.0b
(/ (- x y) (/ (+ (* x x) (* y y)) (+ x y)))
0.0b
(exp (/ (- x y) (/ (+ (* x x) (* y y)) (+ x y))))

rewrite186.0ms

Algorithm
rewrite-expression-head
Rules
474×times-frac
413×*-un-lft-identity
309×add-sqr-sqrt
199×add-cube-cbrt
190×exp-prod
96×log-pow
55×distribute-lft-out-- difference-of-squares
52×distribute-lft-out
37×associate-/r/
22×associate-/r*
20×div-inv
18×flip3-+ flip-+
11×add-cbrt-cube add-exp-log
8×associate-/l*
5×pow1 add-log-exp
4×cbrt-undiv div-exp insert-posit16 associate-/l/
3×log-prod div-sub
2×clear-num frac-2neg exp-diff
1×log-div flip3-- rem-log-exp flip-- rem-exp-log
Counts
4 → 382
Calls
4 calls:
Slowest
58.0ms
(/ (+ (* x x) (* y y)) (+ x y))
44.0ms
(exp (/ (- x y) (/ (+ (* x x) (* y y)) (+ x y))))
38.0ms
(log (exp (/ (- x y) (/ (+ (* x x) (* y y)) (+ x y)))))
36.0ms
(/ (- x y) (/ (+ (* x x) (* y y)) (+ x y)))

series371.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
113.0ms
(exp (/ (- x y) (/ (+ (* x x) (* y y)) (+ x y))))
95.0ms
(/ (+ (* x x) (* y y)) (+ x y))
86.0ms
(log (exp (/ (- x y) (/ (+ (* x x) (* y y)) (+ x y)))))
77.0ms
(/ (- x y) (/ (+ (* x x) (* y y)) (+ x y)))

simplify47.9s

Counts
454 → 394
Calls
454 calls:
Slowest
666.0ms
(cbrt (/ (- x y) (/ (+ (* x x) (* y y)) (+ x y))))
596.0ms
(exp (/ (* (cbrt (- x y)) (cbrt (- x y))) (/ (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))) 1)))
534.0ms
(/ (* (cbrt (- x y)) (cbrt (- x y))) (/ (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))) (* (cbrt (+ x y)) (cbrt (+ x y)))))
443.0ms
(exp (/ (+ (sqrt x) (sqrt y)) (/ (+ (* x x) (* y y)) (+ (pow x 3) (pow y 3)))))
428.0ms
(exp (/ (* (cbrt (- x y)) (cbrt (- x y))) (/ (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))) (* (cbrt (+ x y)) (cbrt (+ x y))))))

prune4.5s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 1.4b

localize1.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0
Calls
0 calls:
Slowest

series0.0ms

Counts
0 → 0
Calls
0 calls:
Slowest

simplify0.0ms

Counts
0 → 0
Calls
0 calls:
Slowest

prune1.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 1.4b

regimes86.0ms

Accuracy

75.3% (4.9b remaining)

Error of 5.4b against oracle of 0.5b and baseline of 20.5b

bsearch159.0ms

end0.0ms

sample1.5s

Algorithm
intervals
Results
922.0ms8000×body80valid
377.0ms8000×pre80true