Details

Time bar (total: 32.2s)

sample436.0ms

Algorithm
intervals
Results
192.0ms116×body1280valid
100.0ms74×body640valid
50.0ms8×body160valid
19.0ms256×pre80true
15.0ms22×body320valid
8.0ms36×body80valid

simplify6.3s

Counts
1 → 1
Iterations
IterNodes
done5000
94724
81354
7446
6193
589
439
333
222
115
09

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.8b

localize18.0ms

Local error

Found 3 expressions with local error:

0.1b
(- x (- (tan a) (tan (+ y z))))
0.2b
(- (tan a) (tan (+ y z)))
2.5b
(tan (+ y z))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
10×*-un-lft-identity add-log-exp
7×add-sqr-sqrt
4×diff-log tan-quot distribute-lft-out--
3×pow1 sub-neg add-cbrt-cube add-exp-log add-cube-cbrt
2×tan-sum flip3-- frac-sub flip-- associate--r+ difference-of-squares
1×associate--r-
Counts
3 → 44
Calls
3 calls:
20.0ms
(- x (- (tan a) (tan (+ y z))))
24.0ms
(- (tan a) (tan (+ y z)))
5.0ms
(tan (+ y z))

series489.0ms

Counts
3 → 9
Calls
3 calls:
202.0ms
(- x (- (tan a) (tan (+ y z))))
212.0ms
(- (tan a) (tan (+ y z)))
75.0ms
(tan (+ y z))

simplify672.0ms

Counts
53 → 53
Iterations
IterNodes
done5000
31680
2461
1200
096

prune366.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.1b
(+ (tan y) (tan z))
0.1b
(- x (- (tan a) (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y))))))
0.1b
(- (tan a) (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))))
0.2b
(* (tan z) (tan y))

rewrite132.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt *-un-lft-identity
13×add-log-exp
7×tan-quot
6×pow1 add-cbrt-cube add-exp-log add-cube-cbrt
4×diff-log distribute-lft-out--
3×sub-neg associate-*r* associate-*l* difference-of-squares
2×flip3-- flip-- associate--r+
1×frac-times +-commutative sum-log flip3-+ times-frac pow-prod-down associate-*l/ frac-add prod-exp associate-*r/ *-commutative frac-sub cbrt-unprod flip-+ distribute-lft-out associate--r- unswap-sqr
Counts
4 → 69
Calls
4 calls:
7.0ms
(+ (tan y) (tan z))
82.0ms
(- x (- (tan a) (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y))))))
30.0ms
(- (tan a) (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))))
12.0ms
(* (tan z) (tan y))

series1.5s

Counts
4 → 12
Calls
4 calls:
131.0ms
(+ (tan y) (tan z))
525.0ms
(- x (- (tan a) (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y))))))
707.0ms
(- (tan a) (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))))
127.0ms
(* (tan z) (tan y))

simplify773.0ms

Counts
81 → 81
Iterations
IterNodes
done5001
21226
1384
0161

prune725.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize56.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (tan z) (tan y))
0.2b
(* (tan y) (tan y))
0.3b
(* (tan z) (tan z))
3.8b
(/ (- (* (tan y) (tan y)) (* (tan z) (tan z))) (- (tan y) (tan z)))

rewrite118.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
38×tan-quot
35×*-un-lft-identity
25×add-cube-cbrt
20×pow1 times-frac
12×add-cbrt-cube add-exp-log
11×difference-of-squares associate-/l/
10×frac-sub
9×frac-times associate-*r* associate-*l* associate-*l/ associate-*r/
6×swap-sqr
5×associate-/r* distribute-lft-out--
4×associate-/l* add-log-exp
3×pow-prod-down prod-exp associate-/r/ *-commutative cbrt-unprod unswap-sqr
2×pow2 pow-plus flip3-- pow-sqr pow-prod-up flip--
1×cbrt-undiv clear-num frac-2neg div-sub div-exp div-inv
Counts
4 → 133
Calls
4 calls:
26.0ms
(* (tan z) (tan y))
18.0ms
(* (tan y) (tan y))
12.0ms
(* (tan z) (tan z))
59.0ms
(/ (- (* (tan y) (tan y)) (* (tan z) (tan z))) (- (tan y) (tan z)))

series612.0ms

Counts
4 → 12
Calls
4 calls:
165.0ms
(* (tan z) (tan y))
61.0ms
(* (tan y) (tan y))
42.0ms
(* (tan z) (tan z))
344.0ms
(/ (- (* (tan y) (tan y)) (* (tan z) (tan z))) (- (tan y) (tan z)))

simplify2.2s

Counts
145 → 145
Iterations
IterNodes
done5001
23564
1603
0219

prune1.3s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize72.0ms

Local error

Found 4 expressions with local error:

0.1b
(+ (tan y) (tan z))
0.2b
(+ (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (- x (tan a)))
0.2b
(* (tan y) (tan z))
2.5b
(exp (+ (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (- x (tan a))))

rewrite306.0ms

Algorithm
rewrite-expression-head
Rules
19×*-un-lft-identity
17×add-log-exp
9×add-sqr-sqrt
7×add-cube-cbrt
6×pow1 add-cbrt-cube tan-quot add-exp-log
5×exp-prod sum-log distribute-lft-out
3×associate-*r* associate-*l* frac-add rem-exp-log
2×+-commutative associate-+r+ associate-+r- flip3-+ diff-log flip-+ distribute-lft-out--
1×frac-times sub-neg flip3-- exp-diff exp-sum pow-prod-down associate-*l/ prod-exp associate-*r/ *-commutative cbrt-unprod flip-- unswap-sqr
Counts
4 → 70
Calls
4 calls:
6.0ms
(+ (tan y) (tan z))
83.0ms
(+ (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (- x (tan a)))
14.0ms
(* (tan y) (tan z))
200.0ms
(exp (+ (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (- x (tan a))))

series1.8s

Counts
4 → 12
Calls
4 calls:
142.0ms
(+ (tan y) (tan z))
789.0ms
(+ (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (- x (tan a)))
137.0ms
(* (tan y) (tan z))
708.0ms
(exp (+ (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (- x (tan a))))

simplify786.0ms

Counts
82 → 82
Iterations
IterNodes
done5000
21542
1423
0160

prune777.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

regimes637.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done21
121
018

end0.0ms

sample12.0s

Algorithm
intervals
Results
6.3s3836×body1280valid
2.5s2060×body640valid
1.6s8000×pre80true
537.0ms720×body320valid
336.0ms1113×body80valid
100.0ms271×body160valid