Details

Time bar (total: 14.3s)

sample36.0ms

Algorithm
intervals
Results
19.0ms256×body80valid
8.0ms256×pre80true

simplify336.0ms

Calls
1 calls:
Slowest
336.0ms
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 21.3b

localize28.0ms

Local error

Found 2 expressions with local error:

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

rewrite13.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*
Calls
2 calls:
Slowest
10.0ms
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))
3.0ms
(+ (* x x) (* y y))

series75.0ms

Calls
2 calls:
Slowest
51.0ms
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))
24.0ms
(+ (* x x) (* y y))

simplify3.4s

Calls
31 calls:
Slowest
410.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))))
410.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))))
385.0ms
(* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3)))
283.0ms
(* (- (pow x 3) (pow y 3)) (- (* x x) (* y y)))
271.0ms
(- (log (* (- x y) (+ x y))) (log (+ (* x x) (* y y))))

prune464.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.4b

localize26.0ms

Local error

Found 4 expressions with local error:

20.7b
(sqrt (+ (* x x) (* y y)))
20.7b
(sqrt (+ (* x x) (* y y)))
0.0b
(/ (- x y) (sqrt (+ (* x x) (* y y))))
0.0b
(* (/ (- x y) (sqrt (+ (* x x) (* y y)))) (/ (+ x y) (sqrt (+ (* x x) (* y y)))))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
54×times-frac
49×add-sqr-sqrt
47×*-un-lft-identity add-cube-cbrt
36×sqrt-prod
24×associate-*r* associate-*l*
18×add-cbrt-cube add-exp-log
10×sqrt-div
6×pow1 associate-/r* associate-/r/
5×cbrt-undiv flip3-+ div-exp flip-+
4×prod-exp cbrt-unprod insert-posit16 add-log-exp
3×div-inv associate-/l*
2×rem-sqrt-square pow1/2 associate-/l/
1×frac-times clear-num frac-2neg flip3-- div-sub pow-prod-down associate-*l/ associate-*r/ *-commutative flip--
Calls
4 calls:
Slowest
18.0ms
(* (/ (- x y) (sqrt (+ (* x x) (* y y)))) (/ (+ x y) (sqrt (+ (* x x) (* y y)))))
10.0ms
(/ (- x y) (sqrt (+ (* x x) (* y y))))
5.0ms
(sqrt (+ (* x x) (* y y)))
5.0ms
(sqrt (+ (* x x) (* y y)))

series172.0ms

Calls
4 calls:
Slowest
68.0ms
(/ (- x y) (sqrt (+ (* x x) (* y y))))
53.0ms
(* (/ (- x y) (sqrt (+ (* x x) (* y y)))) (/ (+ x y) (sqrt (+ (* x x) (* y y)))))
31.0ms
(sqrt (+ (* x x) (* y y)))
20.0ms
(sqrt (+ (* x x) (* y y)))

simplify6.1s

Calls
135 calls:
Slowest
452.0ms
(* (/ (* (* (- x y) (- x y)) (- x y)) (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (sqrt (+ (* x x) (* y y))))) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (sqrt (+ (* x x) (* y y))))))
354.0ms
(* (/ (* (* (- x y) (- x y)) (- x y)) (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (sqrt (+ (* x x) (* y y))))) (* (* (/ (+ x y) (sqrt (+ (* x x) (* y y)))) (/ (+ x y) (sqrt (+ (* x x) (* y y))))) (/ (+ x y) (sqrt (+ (* x x) (* y y))))))
350.0ms
(* (* (* (/ (- x y) (sqrt (+ (* x x) (* y y)))) (/ (- x y) (sqrt (+ (* x x) (* y y))))) (/ (- x y) (sqrt (+ (* x x) (* y y))))) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (sqrt (+ (* x x) (* y y))))))
289.0ms
(/ (- x y) (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))
246.0ms
(sqrt (+ (* (* x x) (* x x)) (- (* (* y y) (* y y)) (* (* x x) (* y y)))))

prune1.5s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.4b

localize0.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

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

series0.0ms

Calls
0 calls:
Slowest

simplify0.0ms

Calls
0 calls:
Slowest

prune2.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.4b

localize0.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

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

series0.0ms

Calls
0 calls:
Slowest

simplify0.0ms

Calls
0 calls:
Slowest

prune0.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0.4b

regimes170.0ms

Accuracy

72.2% (5.5b remaining)

Error of 5.9b against oracle of 0.4b and baseline of 20.1b

bsearch136.0ms

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.3s8000×body80valid
316.0ms8000×pre80true